Section: Dissemination

Teaching - Supervision - Juries

Teaching

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

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

• PhD: Karthikeyan Bhargavan, Verified Crypto for Verified Protocols, Sibenik Summer School on real-world crypto and privacy, 17-21 June, 2019

• PhD: Catalin Hritcu, Program Verification with F* course at Summer School on Verification Technology, Systems, and Applications, VSTA 2019, 1-5 July 2019 at University of Luxembourg

• PhD: Catalin Hritcu, Writing and Verifying Functional Programs in Coq course at Summer School on Cryptography, Blockchain, and Program Verification, Mathinfoly 2019, 24-31 August 2019 at INSA, Lyon

Supervision

• 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: Benjamin Beurdouche, Formal Verification for Real-World Cryptographic Protocols, PSL, since September 2016, supervised by Karthikeyan Bhargavan.

• PhD in progress: Natalia Kulatova, Formal Analysis of Security Devices, PSL, since September 2017, supervised by Karthikeyan Bhargavan and Graham Steel.

• PhD in progress: Marina Polubelova, Formal Verification of a Cryptographic Library, PSL, since September 2017, supervised by Karthikeyan Bhargavan.

• PhD in progress: Denis Merigoux, Verification framework for performance-oriented memory-safe programming languages, since September 2018, supervised by Karthikeyan Bhargavan and Jonathan Protzenko.

• PhD: Kenji Maillard, on Principles of Program Verification for Arbitrary Monadic Effects, started January 2017, supervised by Catalin Hritcu

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

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

• 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

• Bruno Blanchet was member of the PhD jury of Adrien Koutsos (ENS Paris-Saclay).

• Karthikeyan Bhargavan was member of the PhD jury of Joseph Lallemand (Univ. Lorraine) and Guido Martinez (Univ Stuttgart).

• Catalin Hritcu was a discussion leader for the Licentiate defense of Maximilian Algehed (Chalmers University);