Practical information

To enter the Winter School, please click here

General information for participants can be found here

Social event (registration is now closed)

It will take place on Tuesday (6:00pm-7:30pm). A specific registration for this online event (a virtual escape game) is mandatory (the link is here). This event is open to all speakers, sponsors, and participants with a full registration. Non French speakers are welcome. An access to the youtube plateform is mandatory to participate. So, please make sure that this access is not blocked on your computer. This is a very collaborative activity where listening and communication are essential, because everyone needs the others to progress in the game. The teaser of the scenario is available here.

Practical sessions

Installation of the required material before the start of the school.

• Software vulnerabilities: principles, exploitability, detection and mitigation
  
  • setup guide
  • coming soon: tutorial

• Symbolic verification of cryptographic protocols using Tamarin
  • installation of Tamarin
  • VM for Windows users
  • doc for VM and tutorial material

• Formal security proofs of assembly cryptographic implementations
  • guide

• The Frama-C Framework and some Applications to Code Security
  • install Frama-C

• Differential analysis of a cipher using Constraint Programming
  • this lecture will have a light tutorial flavor :-)
  • install Minizinc and Java
  • upload the codes  (click on "Voir les fichiers annexes"  under the pdf file on the right)

Registration (closed)

The registration is free of charge but mandatory for logistical purposes.

Two kinds of registration are proposed:

• full registration gives you access to the whole program (including TPs).  Places are limited. In case your application is selected, you will have to install the tools on your own computer to participate to these practical sessions.
• lectures only registration gives you access to the plenary talks which will take place mainly in the morning.