Archive | June, 2013

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

By Eerke on June 24, 2013 in Uncategorized

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.

By Eerke on June 5, 2013 in Uncategorized

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

Read full story • Comments { 0 }