Eindhoven, 30th November, 2009
The 10th SPAN PhD workshop will be held on 30th November 2009, Traverse building (Van Trierzaal room) at Technische Universiteit eindhoven (route and maps).
The local organizer of this workshop is Mayla Bruso.
Program
| Time | Speaker | Title | Abstract |
|---|---|---|---|
| 11:00 - 11:30 | Coffee & Tea | ||
| 11:30 - 12:00 | Pim Vullers | Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings |
txt |
| 12:00 - 12:30 | Ayse Morali | CRAC: Confidentiality Risk Assessment and IT-Infrastructure Comparison |
txt |
| 12:30 - 14:00 | Lunch | ||
| 14:00 - 14:30 | Mayla Bruso | Formal verification of privacy for RFID systems | txt |
| 14:30 - 15:00 | Kostas Chatzikokolakis | Scheduling non-deterministic choices | txt |
| 15:00 - 15:30 | Peter Schwabe | NaCl -- Networking and Cryptography Library | txt |
| 15:30 - 17:00 | Drinks |
Call for Speakers
All SPAN members are encouraged to give presentations on their work that can be either accomplished or in progress. Any subject that is affiliated to security are welcome. Five or six speakers will be selected in the end to present in the workshop. Voluntary speakers and other participants are requested to register themselves (see Registration Info below). As it is always the case, any other interested fellows are welcome to participate as guests. The drinks and lunch are free of charge for the SPAN members.
There is call for speakers in txt.
Important Dates
Registration Info
To register yourself as a speaker or a participant, please send
email to Mayla Bruso (m.bruso@tue.nl) and indicate "SPAN
Sponsor
This day is sponsored by IPA, the Institute
for Programming research and Algorithmics.