Workshop January 25 - 2012 - Security protocols

The SAFE-NL workshop, on the theme Security protocols will be held on Wednesday January 25 at the VU, Amsterdam.

The workshop is at the W&N building, room C659 (directions).

Attendance is free of charge.

Program:

Time Speaker Title Abstract
10:30 - 11:00   Coffee  
11:00 - 11:45 Flavio Garcia (RU) On the (in)security of widely-used contactless smartcards Abstract
11:45 - 12:15   Coffee / tea break  
12:15 - 13:00 Mohammad T. Dashti (ETH) The Logic of the Intruder Abstract
13:00 - 14:00   Lunch break (lunch not included)  
14:00 - 14:45 David M. Williams (VU) Analysing Protocols for Copy-deterrence
14:45 - 15:15   Coffee / tea break  
15:15 - 16:00 Mayla Bruso (TU/e) Dissecting Unlinkability Abstract
16:00 -   Drinks  
 

Last Version - $Revision: 1.6 $ / $Date: 2005/06/29 09:26:00 $
Maintained by Jaap-Henk Hoepman
Email: Email address