Section: Dissemination

Teaching

• License level:

  • Logic and Computability, 68+45h., L3, ENS Cachan, France (Hubert Comon-Lundh, Malika Izabachène)

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

  • Programming, 28+24h., L3, ENS Cachan, France (Jean Goubault-Larrecq, Vincent Cheval)

  • Cryptography, Cryptographic Protocols and Quantum Cryptography, 3+4h., L3, Séminaire Regards Croisés Mathématiques-Physique, ENS Cachan, France (Jean Goubault-Larrecq, Stéphanie Delaune).

  • Introduction to Unix, 8h., L3, ENS Cachan, France (Hedi Benzina).

  • Logic Programming, 24h., L3 ENS Cachan, France (Hedi Benzina).

  • Visits to laboratories, 3 days, L3 ENS Cachan (Hubert Comon-Lundh).

  • Internship reviews, 12+4h., L3 ENS Cachan (Hubert Comon-Lundh, Jean Goubault-Larrecq).

• Master level (MPRI=“Mastère Parisien de Recherche en Informatique”, MSSI=“Master Sécurité des Systèmes Informatiques”)

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

  • Automated Deduction, 12h., M2, MPRI course 2-5, France (Jean Goubault-Larrecq)

  • Cryptographic Protocols: Formal and Computational Proofs, 12h., M2, MPRI course 2-30, France (Stéphanie Delaune)

  • Probabilistic Aspects of Computer Science, 12+30h., M2, MPRI course 1-24, France (Rohit Chadha, Malika Izabachène).

  • Verification Methods for Security, 9h., M2, MSSI, University Paris XII, France (Steve Kremer)

  • Network Programming Project, 28h., M1, MPRI, France (Hedi Benzina)

  • Logic, préparation à l'agrégation de Mathématiques, 30h., ENS Cachan (Hubert Comon-Lundh)

  • Exercise sessions on programming, préparation à l'agrégation de Mathématiques, 24h., ENS Cachan, France (Vincent Cheval)

  • Exercise sessions on algebraic computation with Maple, préparation à l'agrégation de Mathématiques, 32h., ENS Cachan, France (Malika Izabachène)

  • Rehearsal of Computer Science Lessons, préparation à l'agrégation de Mathématiques, 12+12h., ENS Cachan, France (Hubert Comon-Lundh, Jean Goubault-Larrecq).

• PhD level:

  • International NATO Summer School (Marktoberdorf), August 2011: Formal proofs of security, 10h. (Hubert Comon-Lundh)

  • Security APIs, one week, Tsinghua University, Beijing, China, August (Graham Steel). Master/PhD level.

PhD & HdR:

• HdR :

  • Stéphanie Delaune, Verification of security protocols: from confidentiality to privacy, ENS Cachan, March 2011 [13] .

  • Steve Kremer, Modelling and analyzing security protocols in cryptographic process calculi, ENS Cachan, March 2011 [14] .

  • Graham Steel, Formal Analysis of Security APIs, ENS Cachan, March 2011 [15] .

• PhD :

  • Ştefan Ciobâcă, Automated Verification of Security Protocols with Applications to Electronic Voting [12] , ENS Cachan, December 09 (Steve Kremer and Véronique Cortier, PhD advisors; Jean Goubault-Larrecq, official PhD advisor)

  • Mathilde Arnaud, Formal Verification of Secured Routing Protocols [11] , ENS Cachan, December 13 (Stéphanie Delaune and Véronique Cortier, PhD advisors; Jean Goubault-Larrecq, official PhD advisor)

• PhD in progress :

  • Hedi Benzina, Enforcing Security of Virtualized Architectures, ENS Cachan, since October 2009, advisor Jean Goubault-Larrecq

  • Vincent Cheval, Verification of Privacy-Type Security Properties, ENS Cachan, since September 2009, advisors Hubert Comon-Lundh and Stéphanie Delaune

  • Gavin Keighren, A Type System for Security APIs, since 2007 (to submit March 2012), advisors Graham Steel and David Aspinall (University of Edinburgh).

  • Robert Künnemann, Secure APIs and Simulation-Based Security, ENS Cachan, since October 2010, advisors Steve Kremer and Graham Steel.