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 an extended set of abstractions. Several approaches for dealing with this have appeared since, including but not limited to: automated proof-checking; compositional techniques; higher level proof structures; abstractions of computational models; and specialised logics.

The CryptoForma network ( brings together UK and international researchers working in these areas, including experts on cryptography, on formal methods, and on their interconnection, both from academia and from industry.
The network organises international workshops (without formal proceedings) which have attracted speakers and audience from many countries. The first of these was co-located with the PKC conference in Paris in May 2010 ( The second workshop was co-located with FM 2011 at Limerick ( The third workshop was co-located with ESORICS at Royal Holloway. The next edition will be co-located with CSF in Verona and aims to reach out to the community around formal approaches to modelling, analysis and verification of security protocols and cryptography.

Submissions for the workshop will be abstracts of 1-4 pages, to be reviewed for relevance to the themes mentioned above only. However, it will also start off a process of developing a second CryptoForma themed special issue of the Formal Aspects of Computing journal (see the first such issue).

Important dates:

12 June 12:00 noon UK timeĀ  Abstracts due

11 June 2015 Notification of acceptance for workshop

14 June 2015 CSF and workshops early registration closes

13 July 2015 Workshop

Submissions to be made on EasyChair:
Abstracts can be up to 4 pages, and need to be typeset using the standard llncs.cls to allow us to produce collated abstracts for conference attendees (see

Workshop website:

Program committee

  • Benjamin Aziz, University of Portsmouth, UK
  • Eerke Boiten, University of Kent, UK (chair)
  • Liqun Chen, HP Labs, UK
  • Pooyah Farshim, Queen’s University of Belfast, UK
  • Cedric Fournet, Microsoft Research, France/UK
  • Gurchetan Grewal, University of Birmingham, UK
  • Jens Groth, University College London, UK
  • Joshua Guttman, Worcester Polytechnic Institute, US
  • Steve Kremer, INRIA Nancy & LORIA, France
  • Annabelle McIver, Macquarie University, Australia
  • Kenny Paterson, Royal Holloway University of London, UK
  • Eike Ritter, University of Birmingham, UK
  • Graham Steel, Cryptosense, France