CryptoForma: 5th Meeting
7 April 2010, Birmingham
The fifth official CryptoForma meeting, hosted by
the University of Birmingham, Computer
Science department.
Programme
- 10:30 Coffee
- 11:00 "Verification of stateful processes in ProVerif",
Myrto Arapinis, Eike Ritter and Mark Ryan.
- 11:40 "Formal analysis of protocols based on TPM state registers",
Stephanie Delaune, Steve Kremer, Graham Steel and Mark Ryan.
-
12:20 "Privacy-supporting cloud-based conference systems: protocol and
verification",
Myrto Arapinis, Sergiu Bursuc and Mark Ryan.
- 13:00 Lunch
- 14:30 10 Minute Talks.
- 15:30 coffee
- 16:00 "Characterising coercion-resistance and receipt-freeness for
voting systems",
Steve Schneider
- 16:40 "Bigraphs/spygraphs",
Clive Blackwell
-
17:20 "Rational authentication protocols",
Long Nguyen
- 18:00 Finish.
Trains time to get to University (Birmingham) before 11:
- Surrey 7:43
- London Euston 9:03
- Kent: 7:16
- Bristol 9:00
- Oxford 9:07
- Cambridge 8:00