CryptoForma themed special issue of Formal Aspects of Computing, extension until 1 Aug

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

Read full story Comments { 0 }

Program now available for Friday 30 October event

See http://www.cryptoforma.org.uk/event/strathclyde-meeting-30-october-2015/

Read full story Comments { 0 }

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 }