Call for abstracts for 13 July CSF workshop

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

Read full story Comments { 0 }

Next meeting: 4 June, Belfast

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

Read full story Comments { 0 }

Meeting at Kent, 15 January: Programme

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

Read full story Comments { 0 }

Meeting at UCL, 16 September 2014

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

Read full story Comments { 0 }

Meeting at York, 28 May 2014

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

Read full story Comments { 0 }

15 January event: Cedric Fournet 6pm + CryptoForma from 2pm

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

Read full story Comments { 0 }

Open Letter from UK Security Researchers

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

Read full story Comments { 0 }

CryptoForma@ESORICS: Steve Kremer invited talk & programme

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

Read full story Comments { 0 }

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 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 }