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.


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
12:00 - 12:30 Ayse Morali CRAC: Confidentiality Risk Assessment and
IT-Infrastructure Comparison
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

  • Presentation registration: November 15th, 2009
  • Participants registration: November 22nd, 2007
  • Meeting: November 30th, 2007
  • Registration Info

    To register yourself as a speaker or a participant, please send email to Mayla Bruso (m.bruso@tue.nl) and indicate "SPAN registration" in the subject, according to the deadline above.


    IPA logo This day is sponsored by IPA, the Institute for Programming research and Algorithmics.

    SPAN presentations
    SPAN presentations