Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence: David Naccache, Introduction to computer science, L1, Univ. Paris II

• Licence: Maribel Fernandez, Formal languages, computability and complexity, ENS

• Master: David Naccache, Scientific programming through practice, M1, ENS

• Master: David Naccache, Jacques Stern, Damien Vergnaud, Introduction to Cryptology, M1, ENS

• Master: Michel Abdalla, Vadim Lyubashevsky, Cryptography, M2, MPRI

• Master: David Naccache, Computer Security, M2, Univ. Paris II

• Master: David Naccache, Risk Management, M2, Univ. Paris II

• Master: David Naccache, Computer forensics, M2, Univ. Paris II

• Master: Duong-Hieu Phan, Provable Security, M2, Univ. Paris VIII

• Master: David Pointcheval, Cryptography, M2, ESIEA

Supervision

• PhD : Delphine Masgana Leresteux, Injection de fautes et de logiciels sur les implémentations cryptographiques Université Paris VII, 5 jul. 2012, Pierre-Alain Fouque

• PhD : Olivier Blazy, Preuves de connaissances interactives et non-interactives, Université Paris VII, 27 sept. 2012, David Pointcheval

• PhD : Roch Lescuyer, Outils cryptographiques pour les accréditations anonymes, Université Paris VII, 21 nov. 2012, David Pointcheval

• PhD in progress: Mario Strefler, Diffusion chiffrée, 2009, David Pointcheval

• PhD in progress: Viet Cuong Trinh, Traçage de traîtres et diffusion de données chiffrée, 2009, Duong Hieu Phan

• PhD in progress: Léo Ducas, La cryptographie à base de réseaux, 2009, Phong Nguyen

• PhD in progress: Aurore Guillevic, Étude de l'arithmétique des couplages sur des courbes algébriques pour la cryptographie, 2010, Damien Vergnaud

• PhD in progress: Diana Maimut, Chiffrement pleinement homomorphe, 2011, David Naccache

• PhD in progress: Eric Freyssinet, Modélisation de Botnets, 2011, David Naccache

• PhD in progress: Tancrède Lepoint, La cryptographie à base de réseaux, 2011, Vadim Lyubashevsky

• PhD in progress: Sylvain Ruhault, L'aléa en cryptographie, 2011, David Pointcheval & Damien Vergnaud

• PhD in progress: Fabrice Ben Hamouda, La fuite d'information en cryptographie, 2012, Michel Abdalla & David Pointcheval

• PhD in progress: Thomas Prest, La cryptographie à base de réseaux, 2012, Vadim Lyubashevsky & David Pointcheval

• PhD in progress: Olivier Sanders, Externalisation de calculs cryptographiques, 2012, David Pointcheval

Juries

• HdR: Karthikeyan Bhargavan, Towards the Automated Verification of Cryptographic Protocol Implementations, Ecole Normale Supérieure, 4 may 2012: David Pointcheval

• HdR: Carlos Aguilar Melchor, Sécurité, protection de la vie privée et cryptographie : quelques contributions, Univ. Limoges, 26 jun. 2012: David Pointcheval (chair)

• HdR: Pascal Lafourcade, Computer Aided Security for Cryptographic Primitives, Voting protocols, and Wireless Sensor Networks, Univ. Grenoble, 6 nov. 2012: David Pointcheval (chair)

• PhD: Marion Daubignard, Formal Methods for Concrete Security Proofs, Univ. Grenoble, 12 jan. 2012: David Pointcheval (reviewer)

• PhD: Saeed Sedghi, Towards Provably Secure Efficiently Searchable Encryption, Univ. Twente, 17 feb. 2012: Michel Abdalla

• PhD: Avradip Mandal, Provable Security and Indifferentiability Univ. Luxembourg, 25 jun. 2012: David Pointcheval

• PhD: Delphine Masgana Leresteux, Injection de fautes et de logiciels sur les implémentations cryptographiques, Univ. Paris VII, 5 jul. 2012: David Pointcheval (co-advisor), David Naccache (chair)

• PhD: Adriana Suarez Corona, Compilers and protocols for key establishment, Univ. Oviedo, 24 jul. 2012: Michel Abdalla (Examiner)

• PhD: Olivier Blazy, Preuves de connaissances interactives et non-interactives, Univ. Paris VII, 27 sept. 2012: David Pointcheval (advisor), Michel Abdalla, Damien Vergnaud

• PhD: Anja Becker La technique de représentation – Application à des problèmes difficiles en cryptographie UVSQ, 26 oct. 2012: David Naccache (chair)

• PhD: Roch Lescuyer, Outils cryptographiques pour les accréditations anonymes, Univ. Paris VII, 21 nov. 2012: David Pointcheval (advisor), David Naccache (chair), Damien Vergnaud

• HdR: Bruno Robisson Contribution à la sécurisation des composants vis-à-vis des attaques physiques UMPC, 12 dec. 2012: David Naccache

• HdR: Olivier Ly Un parcours de recherche des méthodes formelles aux robots humanoïdes Univ. Bordeaux, 13 dec. 2012: David Naccache (reviewer)

• PhD: Amar Siad, Protocoles de génération des clés pour le chiffrement basé sur de l’identité, Univ. Paris 8, 17 dec. 2012: David Pointcheval, Duong-Hieu Phan

• PhD: Houssem Maghrebi Masking Countermeasures against Higher-Order Side Channel Attacks: Security Evaluation and Enhancement by Specific Mask Encodings, Telecom ParisTech, 21 dec. 2012: David Naccache

• HdR: Sylvain Guilley Protection des Accélérateurs Matériels de Cryptographie Symétrique TelecomParisTech, 20 dec. 2012: David Naccache