Following more than six successful years of the UK CryptoForma EPSRC network (www.cryptoforma.org.uk), and a special issue of the Formal Aspects of Computing journal in 2014 (see http://link.springer.com/journal/165/26/1/page/1) we have been given the opportunity to produce another special issue of this journal. The topic area is the application of formal methods in the specification, development, […]
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 http://www.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.
If you are a member of CryptoForma, please login.