Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence :

  • Rémy Chrétien, Initiation à l'informatique (TP), 39h., L1, Université Paris 7, Paris, France

  • Hubert Comon-Lundh Logic and Computability, 42h., L3, ENS Cachan, France

  • Jean Goubault-Larrecq, Programming, 42h., L3, ENS Cachan, France

  • Jean Goubault-Larrecq, Logic and Computer Science (a.k.a., the lambda-calculus), 36h., L3, ENS Cachan and ENS Paris, France

  • Jean Goubault-Larrecq, Internship reviews, 4h., L3, ENS Cachan, France

  • David Baelde, Logic and Computability, 45h., L3, ENS Cachan, France

  • David Baelde, Internship reviews, 3h., L3, ENS Cachan, France

• Master :

  • Jean Goubault-Larrecq, Cryptography, Cryptographic Protocols and Quantum Cryptography, Part 1/3, 4h., M1, Séminaire Regards Croisés Mathématiques-Physique, ENS Cachan, France

  • Stéphanie Delaune, Cryptography, Cryptographic Protocols and Quantum Cryptography, Part 2/3, 4h., M1, Séminaire Regards Croisés Mathématiques-Physique, ENS Cachan, France

  • Jean Goubault-Larrecq, Advanced Complexity, 42h., M1, MPRI course 1-17, France

  • Jean Goubault-Larrecq, Internship reviews, 4h., M1, ENS Cachan, France

  • Hubert Comon-Lundh, Internship reviews, 32h, M2 MPRI

  • Jean Goubault-Larrecq, Internship reviews, 16h., M2, MPRI, France

  • Hubert Comon-Lundh Computational Soundness, 12h., M2, MPRI course 2-30, France, Jan-Feb 2012

  • Hubert Comon-Lundh Formal proofs of security, 24h, M2, MPRI course 2-30, France Oct-Dec 2012 (48h)

  • Hubert Comon-Lundh Preparation option info agreg: logique, 24h, préparation à l'agrégation de Mathématiques, Jan-May 2012, ENS Cachan, France

  • Hubert Comon-Lundh, rehearsal of Computer Science Lessons, préparation à l'agrégation de Mathématiques, 18h., ENS Cachan, France

  • Jean Goubault-Larrecq, rehearsal of Computer Science Lessons, préparation à l'agrégation de Mathématiques, 18h., ENS Cachan, France

Supervision

• PhD :

  • Vincent Cheval, Automatic verification of cryptographic protocols: privacy-type properties, ENS Cachan, Dec. 03, 2012 [12] , supervised by Stéphanie Delaune and Hubert Comon-Lundh

  • Hedi Benzina, Enforcing virtualized systems security, ENS Cachan, Dec. 17, 2012 [11] , supervised by Jean Goubault-Larrecq

• PhD in progress :

  • Rémy Chrétien, Trace equivalence for an unbounded number of sessions, Started Oct. 2012, supervised by Stéphanie Delaune

  • Robert Künnemann, Secure APIs and Simulation-Based Security, Started Oct. 2010, supervised by Steve Kremer and Graham Steel; Graham and Robert are now at EPI Prosecco

  • Gavin Keighren, A Type System for Security APIs, since 2007 (to submit March 2013), advisors Graham Steel and David Aspinall (University of Edinburgh). Graham is now at EPI Prosecco.

  • Guillaume Scerri, Preuves abstraites de protocoles cryptographiques concrets, Started Oct. 2011, supervised by Hubert Comon-Lundh

• Masters:

  • Rémy Chrétien, Trace equivalence of protocols for an unbounded number of sessions, 2012, advisors Stéphanie Delaune and Véronique Cortier

  • Apoorvaa Deshpande, Automated verification of equivalence properties modulo AC, 2012, advisors Stéphanie Delaune and Steve Kremer

Juries

• PhD:

  • Hubert Comon-Lundh, president of the jury: Jeremy Planul, Typage, compilation, et cryptographie pour la programmation répartie securisée, Ecole Polytechnique, Feb 08, 2012.

  • Hubert Comon-Lundh, member of the jury: Vincent Cheval, Preuves automatiques d'indistinguabilité, ENS Cachan, Dec 03, 2012.

  • Jean Goubault-Larrecq, member of the jury: Gabriel Kerneis, Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language, Université Paris Diderot, November 09, 2012.

  • Jean Goubault-Larrecq, member of the jury: Hedi Benzina, Enforcing virtualized systems security, ENS Cachan, December 17, 2012

• HdR:

  • Hubert Comon-Lundh, reviewer of the habilitation and member of the jury: Karthikeyan Bhargavan, Towards the Automated Verification of Cryptographic Protocol Implementations, Ecole Normale Supérieure, May 04, 2012.

  • Hubert Comon-Lundh, reviewer of the habilitation and member of the jury: Pascal Lafourcade Cryptographic Primitives, Voting protocols, and Wireless Sensor Networks, Université Joseph Fourier, Grenoble, Nov. 06, 2012.

  • Hubert Comon-Lundh, president of the jury: Jérôme Leroux, Machines à compteur et arithmétique de Presburger, Université Bordeaux I, Bordeaux, Dec 06, 2012.

  • Jean Goubault-Larrecq, member of the jury: Laurent Doyen, Games and Automata: From Boolean to Quantitative Verification, ENS Cachan, March 13, 2012