Computer Aided Analysis of Cryptographic Protocols

Bucharest, Romania (11th of September 2016 - 14th of September 2016)

The University of Bristol in collaboration with the Polytechnic University of Bucharest with the support of the FP7 EU project PRACTICE and the ECRYPT CSA are organizing a summer school on formal verification of cryptographic systems. The school is in conjunction with the Balkan CryptSec conference.

Aims, audience, and prerequisites

The school aims to introduce the participants to the principles of computer aided analysis of cryptographic systems. The primary audience are PhD students working on topics closely related to the focus of the school. Since the school offers an alternative view to the one called “provable security” we encourage the participation of students that are familiar with this approach. While no specific prior knowledge on cryptography is required, familiarity with basic concepts from the theory of formal languages and theory of programming languages is recommended.

Topics and format

The school is about foundations of computer aided verification for cryptographic systems. The talks will introduce several existent methods (e.g. theorem proving, type inference), will introduce some of the existing tools (Proverif, Tamarin, F*, Easycrypt) and will consider a range of applications from the security of basic primitives to that of larger protocols like Transport Layer Security (TLS). Each topic will have allocated a couple of lectures and a problem class.


Participant registration starts at 8:30am on 11th of September.


Time Sunday (11th) Monday (12th) Tuesday (13th) Wednesday (14th)
9:00 - 11:00 Comon ( Slides ) Comon Hritcu/Kohlweiss ( Slides ) Hritcu/Kohlweiss
11:00-11:30 Coffee break Coffee break Coffee break Coffee break
11:30 -13:30 Comon Cremers ( Slides ) Hritcu/Kohlweiss Schmidt ( Examples )
13:30- 14:30 Lunch Lunch Lunch Lunch
14:30- 16:30 Cremers Cremers Schmidt ( Slides ) Schmidt


Bogdan Warinschi

Local organization

  • Mihai Bucicoiu
  • Adriana Clim


To ensure an interactive learning environment, the number of places is limited. Interested participants are invited to submit their application by email to Sarah Rogers at the University of Bristol ( . The subject of the email should be: "Summer school application -- your name". The application should include a brief CV (at most two A4 pages) and a statement of interest (at most one A4 page). The registration fee is 100GPB and covers coffee breaks and lunch for the dureatoin of the school, as well as a social event. Applicants that have been accepted will be notified by the 7th of August followed by registration by the 15th of August.

Applications are accepted until 1st of August 2016; since places are limited early applications are strongly encouraged. A limited number of scholarships that partially cover participation and accommodation fees are also available. For any further inquiries, please send an email to the email address above.


The school will be held in Bucharest at the Library of the Polytechnica University, Bucharest

Travel info

Arrival information and information on the location can be found HERE