Lucca Hirschi

Ex-Doctorant, ENS Cachan

Je travaille maintenant à l'ETH Zürich. Ma nouvelle page web est là-bas.

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: Notre proposition de briefing présentant nos attaques sur les protocoles téléphoniques a été acceptée à Black Hat USA 2017 et nos attaques ont été relayées par quelques articles: ZDnet (and Zero Day), Forbes, The Register, International Business Times, Silicon.de.

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