Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master: Bruno Blanchet, Cryptographic protocols: formal and computational proofs, 18h equivalent TD, master M2 MPRI, université Paris VII, France

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

• Master: Karthikeyan Bhargavan, Network Protocol Safety and Security, 18h equivalent TD, ACN master, Telecom ParisTech

• PhD: Formally Secure Compartmentalizing Compilation course at International School on Foundations of Security Analysis and Design (FOSAD), 27-28 August, 2018, Bertinoro, Italy

• PhD: Program Verification with F* course at EPIT 2018 Software Verification Spring School, 7-11 May, 2018, Aussois, France

• PhD: Attacks and Automated Tools, BIU winter school on cryptography, 11-15 February, 2018, Tel Aviv, Israel

• PhD: Crypto standards for the Internet and Web. ECRYPT-CSA School on Societal Aspects of Cryptology and on Business and Innovation in Crypto. 7-9 January. Zurich, Switzerland.

• PhD: Mix networking, ECRYPT Summer School, ECRYPT-NET School on Integrating Advanced Cryptography with Applications, 16-21 September 2018, Kos, Greece.

Supervision

• PhD: Jean Karim Zinzindohoue, Secure, Fast and Verified Cryptographic Applications: A Scalable Approach [13], ENS Paris, defended on July 3, 2018, supervised by Karthikeyan Bhargavan.

• PhD: Nadim Kobeissi, Formal Verification for Real-World Cryptographic Protocols and Implementations [12], ENS Paris, defended on December 10, 2018, supervised by Karthikeyan Bhargavan and Bruno Blanchet.

• PhD in progress: Benjamin Beurdouche, on verified cryptographic protocol implementations, ENS Paris, since October 2016, supervised by Karthikeyan Bhargavan.

• PhD in progress: Marina Polubelova, on verified post-quantum cryptography, PSL Paris, since October 2017, supervised by Karthikeyan Bhargavan.

• PhD in progress: Natalia Kulatova, on verified secure hardware APIs, PSL Paris, since October 2017, supervised by Karthikeyan Bhargavan.

• PhD in progress: Denis Merigoux, on verified RUST applications, PSL Paris, since November 2017, supervised by Karthikeyan Bhargavan.

• PhD in progress: Benjamin Lipp, On Mechanised Cryptographic Proofs of Protocols and their Link with Verified Implementations, ENS Paris, since October 2018, supervised by Bruno Blanchet and Karthikeyan Bhargavan.

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

• PhD in progress: Carmine Abate, The Formal Foundations of Secure Compilation, since June 2018, advised by Catalin Hritcu and Bruno Blanchet

• PhD in progress: Jérémy Thibault, Secure Compartmentalizing Compilation to a Tagged Architecture, from August 2018, advised by Catalin Hritcu and Bruno Blanchet

• PhD in progress: Guido Martínez (CIFASIS-CONICET Rosario), Metatheory for Semi-Automatic Verification of Effectful Programs, from April 2017, advised by Mauro Jaskelioff (CIFASIS-CONICET Rosario) and Catalin Hritcu

Juries

• Karthikeyan Bhargavan participated in the PhD jury of Daniel Fett at University of Stuttgart.

• Harry Halpin participated in the PhD jury of Joseph Raad at University Paris-Saclay.