Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master: Catalin Hritcu, Cryptographic protocols: formal and computational proofs, 31.5h equivalent TD, master M2 MPRI, université Paris VII, France

• Doctorat: Catalin Hritcu: Verifying Cryptographic Implementations with F* at Computer-aided security proofs summer school. Aarhus, Denmark, October, 2017

• Doctorat: Catalin Hritcu: Verifying Cryptographic Implementations with F* course at Models and Tools for Cryptographic Proofs summer school, Nancy, France, July 2017

• Master: Karthikeyan Bhargavan, Cryptographic protocols: formal and computational proofs, 31.5h equivalent TD, master M2 MPRI, université Paris VII, France

• Master: Karthikeyan Bhargavan, Protocol Verification and Safety, 18h equivalent TD, master ACN, Ecole Polytechnique et Telecom ParisTech, France

Supervision

• PhD: Evmorfia-Iro Bartzia, A formalization of elliptic curves for cryptography, Université Paris-Saclay, February 2017. Co-supervised by Pierre-Yves Strub and Karthikeyan Bhargavan.

• PhD in progress: Kenji Maillard, Semantic Foundations for F*, started January 2017, supervised by Catalin Hritcu and Karthikeyan Bhargavan

• PhD in progress: Jean Karim Zinzindohoue, A Verified Cryptographic Libary, supervised by Karthikeyan Bhargavan

• PhD in progress: Nadim Kobeissi, 2015-, Verified Web Security Applicaitons, supervised by Karthikeyan Bhargavan

• PhD in progress: Benjamin Beurdouche, 2016-, Verified Cryptographic Protocols for the Internet of Things, supervised by Karthikeyan Bhargavan

• PhD in progress: Natalia Kulatova, 2017-, Verified Hardware Security Devices, co-supervised by Karthikeyan Bhargavan and Graham Steel

• PhD in progress: Marina Polybelova, 2017-, Verified Cryptographic Web Applications, supervised by Karthikeyan Bhargavan

• PhD in progress: Yaëlle Vincont, 2017-, Software Security: combining fuzzing and symbolic execution for vulnerability detection, co-supervised by Karthikeyan Bhargavan and Sebastien Bardin

Juries

• Bruno Blanchet was reviewer of Lucca Hirschi's PhD thesis.

• Harry Halpin served on the PhD jury of Evo Busseniers (Vrije Universitat Bruxelles)