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 […]
Archive | June, 2013
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.
If you are a member of CryptoForma, please login.