Eindhoven, 30th November, 2009
The local organizer of this workshop is Mayla Bruso.
|11:00 - 11:30||Coffee & Tea|
|11:30 - 12:00||Pim Vullers||Developing Efficient Blinded Attribute Certificates on
Smart Cards via Pairings
|12:00 - 12:30||Ayse Morali||CRAC: Confidentiality Risk Assessment and
|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.
To register yourself as a speaker or a participant, please send
email to Mayla Bruso (firstname.lastname@example.org) and indicate "SPAN
This day is sponsored by IPA, the Institute for Programming research and Algorithmics.