First CryptoForma Workshop, Paris, 25 May
2010
Formal Methods and Cryptography: The Next Generation of Abstractions
CryptoForma is a UK research network which aims to support
the development of formal notations, methods and techniques for
modelling and analysing modern cryptographic protocols.
The network organises one international workshop each year, the first of
these will be held
at Institut Henri Poincaré,
Paris, on Tuesday 25 May 2010 (i.e., the day before PKC 2010 which is at the nearby ENS).
We seek presentations of the best work-in-progress from members of our
community. To this end, contributions will not be refereed or published, so
that authors are free to publish completed papers at refereed venues.
On the CryptoForma website
we will collect presentation materials, eg PDFs of slides,
and also links to draft papers.
Subjects
We invite contributions in the area of formal modelling and verification
of cryptographic primitives and cryptography based protocols and
systems, in the widest possible sense, including but not limited to:
- specification notations for cryptography, e.g. including aspects
of probability or computational complexity; computationally sound formalisms;
- analysis methods;
- methods for verifying protocol implementations;
- special logics;
- systems for the mechanisation and verification of cryptographic
proofs;
- higher level abstractions and methods of structuring proofs;
- computational soundness;
- notions of compositionality for cryptographic primitives and protocols;
- case studies.
Submissions and dates
- 1 April 2010: Abstracts (up to 2 pages)
by email to E.A.Boiten@kent.ac.uk.
- The organising committee will select contributions for relevance
and (if necessary) to fit within the available time, notifying authors
by 21 April 2010.
- 17 May 2010: latest date that papers can be submitted for
distribution to participants at the workshop.
- 25 May 2010: Workshop.
Organising committee
- Myrto
Arapinis, University of Birmingham, UK
- Karthikeyan
Bhargavan, INRIA Paris-Rocquencourt, France
- Bruno
Blanchet, ENS, Paris, France
-
Eerke Boiten, University
of Kent, UK
-
Liqun Chen,
Hewlett-Packard, UK
- Alex Dent, Royal
Holloway, UK
- Andy Gordon,
Microsoft Research, Cambridge, UK
- Jan Jürjens, TU Dortmund,
Germany
-
Alfredo Pironti
Politecnico di Torino, Italy
- Eike Ritter, University of Birmingham, UK
- Michael Roe,
Microsoft Research, Cambridge, UK
- Peter Ryan, University of
Luxemburg
- Steve Schneider, University of Surrey, UK
- Riccardo Sisto,
Politecnico di Torino, Italy
- Graham Steel,
ENS-Cachan, France
- Bogdan Warinschi,
University of Bristol, UK
CryptoForma contact information