CryptoForma: 4th Meeting

22 October 2010, Surrey

The fourth official CryptoForma meeting, hosted by the University of Surrey, Guildford.

10.30 coffee; opening
10.45-11.30 Sriram Srinivasan "On key sizes for electronic voting"
11.30-12.15 Peter Ryan, Feng Hoa "On a password authenticated key establishment protocol"
12.15-13.30 lunch break
13.30-14.00 Graham Steel "Attacking and Fixing PKCS#11 Security Tokens"
14.00-14.30 Christina Brzuska
14.30-15.15 Liqun Chen, Bogdan Warinschi " Security of the TCG Privacy-CA Solution".
15.15-15.45 tea break
15.45-16.15 Misha Aizatulin "Extracting and verifying cryptographic models from C protocol code by symbolic execution"
16.15-16.45 Discussion, Cryptoforma matters & closing