I am teacher assistant for the TATA course. Informations are available on the MPRI wiki.
I am teacher assistant for the advanced complexity course. Informations are available on the MPRI wiki.
All the ressources are here.
Some ressources are here.
See David Baelde's webpage.
An extensive analysis of multi-factor authentication protocols
At CSF'18 and TECAP ANR Kick-off meeting
At EJCIM 2018 spring school
At FOSAD 18 summer school and Annual PhD students day of the formal methods department of LORIA
At CSF'19, Journée GT MFS 2019 and Pesto working group
My gpg public key