My Habilitation Defense
I defended my habilitation thesis on March 17th. My defense was part of the
SECSI Colloquium
.
« Modelling and analyzing security protocols in cryptographic process calculi »
The committee will be composed of:
Martín Abadi
(reviewer)
Ran Canetti
(reviewer)
Hubert Comon-Lundh
Jean-Pierre Jouannaud
Catuscia Palamidessi
(reviewer)
David Pointcheval
Michael Rusinowitch
Andre Scedrov
About
LSV
News
People
Research
Seminars
Teaching
Contact
École Normale Supérieure de Cachan
Centre National de la Recherche Scientifique
Private Pages
Page maintained by
Steve Kremer
.