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);