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, verification and analysis of security protocols and cryptographic primitives and constructions.
Papers for this special issue need to be present a significant amount of new material, possibly by substantially extending a conference paper published previously.
We are inviting three kinds of papers:
- papers surveying aspects of the state of the art in formal methods for
cryptographic protocols, possibly of a tutorial nature;
- papers highlighting the problems posed by cryptographic applications
where formal methods have not yet provided satisfactory solutions; and
- papers describing possible solutions to such problems, possibly on the
basis of case studies.
Papers need to be submitted at www.editorialmanager.com/faoc/, choosing “S.I. CryptoForma ’15” as the Article Type (and you may ignore the request to contact an editor before submission). Papers should be formatted using the instructions and styles provided from “Instructionsfor Authors“.
The deadline for submission is extended to 1 August 2016.
The special issue editors:
Feng Hao, University of Newcastle
Mark Ryan, University of Birmingham
Eerke Boiten, University of Kent