29th April 2017, University Pierre and Marie Curie (UPMC), Paris, France
The ECRYPT-CSA project is organizing a one-day workshop on Models and Tools for Security Analysis and Proofs.
The workshop is co-located with IEEE Euro Security and Privacy and Eurocrypt 2017 .
It has become clear that computer aided tools and their associated abstract models are indispensable to scalable and rigorous analysis of cryptographic systems.
The aim of the workshop is two-fold: to survey the state of the art in the area and to chart future research directions. The workshop is addressed to both researchers in the area of formal models and tools but also to cryptographers interested in the limits and support provided by existing tools. There will be plenty of scope for discussion.
Bruno Blanchet ( INRIA Paris, France )
Karthikean Bhagaravan ( INRIA Paris, France )
Veronique Cortier ( CNRS, INRIA Lorraine, Nancy, France )
Cedric Fournet ( Microsoft Research, UK )
Joshua Guttman ( Worcester Polytechnic Institute, US )
Peter Schwabe ( Radboud University, The Netherlands )
Organizers and Contacts
- Manuel Barbosa (INESC TEC and FCUP, Porto -- firstname.lastname@example.org),
- Cas Cremers (Oxford University -- email@example.com ),
- Bogdan Warinschi (University of Bristol -- firstname.lastname@example.org)
Participation in the workshop is free. Please register
using the link avilable from the Eurocrypt'17 site:
The workshop will be held at the University Pierre and Marie Curie (UPMC), Paris, France.