Archive | June, 2013

Call for abstracts: 3rd CryptoForma workshop, 12 September 2013

Call for abstracts: CryptoForma workshop on Security Protocols, Cryptography and Formal Methods co-located with ESORICS at Royal Holloway University of London, 12 September 2013. Since the 1990s, formal methods have been successfully applied to the modelling and verification of security protocols at a high level of abstraction. However, modern cryptographic protocols contain probabilistic and complexity […]

Read full story Comments { 0 }

FOSAD 2013: deadline 20 June.

CryptoForma will be sponsoring two speakers (Bogdan Warinschi and Kenny Paterson) and 8 attendees at the next FOSAD summer school, see Deadline for CryptoForma sponsorship is now closed, but FOSAD registration is open until 20 June.

Read full story Comments { 0 }