Lucca Hirschi

Ex-Doctorant, ENS Cachan

Je suis chercheur postdoctoral à l'ETH Zürich dans l'équipe de David Basin. Je m'intéresse aux méthodes formelles dédiées à la vérification de protocoles cryptographiques avec une attention particulière portée aux propriétés liées à la vie privée.

J'ai réalisé une thèse à l'Ecole Normale Supérieure de Cachan sous la direction de Stéphanie Delaune et David Baelde.

News: J'ai soutenu ma thèse le 21 avril 2017, plus d'informations ici.

News: Je suis maintenant chercheur postdoctoral à l'ETH Zürich.

News: Nos attaques sur les protocoles téléphoniques seront présentées à Black Hat USA 2017.

Outils

Enseignement

Liens

À propos du LSV

Contact

Lucca Hirschi
Adresse
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Bureau
RH-B-115
Tél.
+33 (0)1 47 40 17 82
Secr.
+33 (0)1 47 40 75 20
E-Mail
lucca.hirschi@lsv.ens-cachan.fr