CryptoForma

Call for abstracts: CryptoForma workshop on Security Protocols, Cryptography and Formal Methods co-located with CSF in Verona, 13 July 2015. 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 theoretic aspects which require […]

Our next meeting will be on 4 June in Belfast. See https://cryptoforma.org.uk/event/belfast-meeting-4-june-2015/.

The meeting will be in Darwin College, Lecture Theatre 2 (on your left right after entrance) on the Canterbury campus. See here for general maps and directions. Contact Eerke Boiten to join event or the research network. 10:30 Opening 10:35 Tom Chothia (with Flavio Garcia), Birmingham: A Lightweight Distance-Bounding Contactless EMV Payment Protocol (Andriana Gkaniatsou […]

We will have a meeting at University College London on 16 September 2014. Full information and registration now via this link

Starting at 10:00, probably ending before 17:30. See here for more info.

Our next event: at BCS London, 6pm for the keynote and from 2pm an open CryptoForma workshop as follows (see event page for more info including slides): 14:00 Steve Schneider (Surrey) “Design and formal verification of a robust web bulletin board” 14:45 Sergui Bursuc (Bristol) “Formal multi-party computation” (15:15 break) 15:45 Eike Ritter (Birmingham) “Privacy […]

[Note that this is not an official CryptoForma announcement, but you may recognise some of the names …] Dear Reader, The first set of publications based on Edward Snowden’s files were concerned with surveillance of internet communication happening more indiscriminately and on a much larger scale than previously thought. The more recent publications, presenting the […]

The programme for the CryptoForma workshop at ESORICS is now known, see here. It includes an invited talk by Steve Kremer, INRIA Nancy.

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 […]

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.