Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master: Bruno Blanchet, Formal Methods, 9h equivalent TD, master M2 MIC, université Paris VII, France

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

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

• Master: Karthikeyan Bhargavan, Protocol Safety and Security, master ACN Telecom ParisTech et Ecole Polytechnique

• Undergraduate: Karthikeyan Bhargavan, INF421 and INF431: Programmation, Ecole Polytechnique

• Doctorat: Karthikeyan Bhargavan: Protecting TLS from legacy cryptography, l'École de printemps en codage et cryptographie, May 2016

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

• Doctorat: Catalin Hritcu: F* course at Computer Aided Analysis of Cryptographic Protocols summer school, Bucharest, September 2016

Supervision

• PhD completed: Antoine Delignat-Lavaud

  On the Security of Authentication Protocols for the Web

  defended March 2016, supervised by Karthikeyan Bhargavan

• PhD in progress: Evmorfia-Iro Bartzia

  Machine-checked program verification for concrete cryptography,

  defence on February 15, 2017, supervised by Karthikeyan Bhargavan and Pierre-Yves Strub

• PhD in progress: Jean Karim Zinzindohoué

  Analyzing cryptographic protocols and their implementations,

  started September 2014, supervised by Karthikeyan Bhargavan

• PhD in progress: Nadim Kobeissi

  Analyzing cryptographic web applications,

  started February 2015, supervised by Karthikeyan Bhargavan

• PhD incomplete: Yannis Juglaret

  Micro-policies and Secure Compilation,

  started September 2015, interrupted September 2016, supervised by Catalin Hritcu

Juries

• Karthikeyan Bhargavan served on the PhD jury of Olivier Levillain

• Harry Halpin served on the PhD jury of Nikita Mazurov