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

• Doctorat: Bruno Blanchet, course on CryptoVerif, joint EasyCrypt-F*-CryptoVerif school, Paris, France

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

• License: Karthikeyan Bhargavan, INF431, INF421, INF672, INF321, introductory courses at at Ecole Polytechnique, Palaiseau, France

• Doctorat: Catalin Hritcu, course on F*, joint EasyCrypt-F*-CryptoVerif school, Paris, France

• Doctorat: Graham Steel, 3 teaching hours in Venice Ca' Foscari on Security APIs

• Doctorat: Benjamin Smyth, Electronic Voting: Introduction, privacy and verifiability definitions, and examples @ CryptoBG'14, Bulgaria

Supervision

• PhD: Miriam Paiola

  Verification of cryptographic protocols with lists of unbounded length,

  defended on May 28, 2014, supervised by Bruno Blanchet

• PhD in progress: Evmorfia-Iro Bartzia

  Machine-checked program verification for concrete cryptography,

  started October 2011, supervised by Karthikeyan Bhargavan and Pierre-Yves Strub

• PhD in progress: Antoine Delignat-Lavaud

  Verified security for web applications,

  started September 2012, supervised by Karthikeyan Bhargavan

• PhD in progress: Jean Karim Zinzindohoue

  Analyzing cryptographic protocols and their implementations,

  started September 2014, supervised by Karthikeyan Bhargavan

Juries

• Cyrille Wiedling – Ph.D. – Nov. 21, 2014 – Université de Lorraine

  Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs

  Bruno Blanchet (reviewer)

• Guillaume Scerri – Ph.D. – Jan. 29, 2015 – ENS Cachan

  Proofs of security protocols revisited

  Bruno Blanchet (reviewer)

• Bart van Delft – Licentiate – Mar. 14, 2014 – Chalmers University

  Karthikeyan Bhargavan (discussion leader)