Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master: Guillaume Hanrot, Computer algebra, 10h, ENS de Lyon, France

• Master: Guillaume Hanrot, Cryptanalysis, 15h, ENS de Lyon, France

• Master: Claude-Pierre Jeannerod, Computer Algebra, 18h, M2Pro ISFA (Institut de Science Financière et d’Assurances), Université Claude Bernard Lyon 1, France

• Master (1&2): Fabien Laguillaumie, Cryptography, 160 h, ISFA, UCBL, France

• Master: Benoît Libert, Advanced Topics in Cryptography, 15h, ENS de Lyon, France

• Master: Nicolas Louvet, Compilers, 22h, M1, UCB Lyon 1, France

• Master: Alain Passelègue, Computer Algebra, 10h, M1, ENS de Lyon, France

• Master: Alain Passelègue, Advanced Topics in Cryptography, 30h, M2, ENS de Lyon, France

• Master: Nathalie Revol, Numerical Algorithms and Reliability, 12h, M2Pro ISFA (Institut de Science Financière et d’Assurances), Université Claude Bernard Lyon 1, France

• Master: Bruno Salvy, Computer Algebra, 6h, ENS de Lyon, France

• Master: Bruno Salvy, Logic and Complexity, 32h, École polytechnique, France

• Master: Damien Stehlé, Cryptanalysis, 15h, ENS de Lyon, France

• Master : Gilles Villard, Computer Algebra, 8h, ENS de Lyon, France

• Bachelor: Guillaume Hanrot, Calculability and complexity, 32h, ENS de Lyon, France

• Bachelor: Nicolas Louvet, Computer Architecture, 27h, L1, UCB Lyon 1, France

• Bachelor: Nicolas Louvet, Operating Systems, 50h, L2, UCB Lyon 1, France

• Bachelor: Nicolas Louvet, Data Structures and Algorithms, 24h, L2, UCB Lyon 1, France

• Bachelor: Nicolas Louvet, Data Structures and Algorithms, 40h, L3, UCB Lyon 1, France

• Bachelor: Nicolas Louvet, Formal Languages, 15h, L3, UCB Lyon 1, France

• Bachelor: Nicolas Louvet, Classical Logic, 15h, L3, UCB Lyon 1, France

• Bachelor: Bruno Salvy, Design and Analysis of Algorithms, 20h, École polytechnique, France

Supervision

• PhD: Florent Bréhard, Certified Numerics in Function Spaces: Polynomial Approximations Meet Computer Algebra and Formal Proof, ENS de Lyon, July 12, Nicolas Brisebarre (co-supervision with Mioara Joldes, CNRS LAAS, and Damien Pous, LIP)

• PhD: Alice Pellet-Mary, On ideal lattices and the GGH13 multilinear map, ENS de Lyon, October 16, Damien Stehlé

• PhD: Chen Qian, Lossy Trapdoor Primitives, Zero-Knowledge Proofs and Applications, IRISA Rennes, October 4, Benoît Libert (co-supervision with Pierre-Alain Fouque, IRISA)

• PhD in progress: Miruna Rosca, The middle-product learning with errors problem, January 2017, Damien Stehlé

• PhD in progress: Huyen Nguyen, Cryptographic aspects of orthogonal lattices, September 2018, Damien Stehlé

• PhD in progress: Radu Titiu, Advanced cryptographic primitives based on standard assumptions, January 2017, Benoît Libert

• PhD in progress: Adel Hamdi, Functional Encryption, December 2017, Fabien Laguillaumie (co-supervised by Sébastien Canard, Orange)

• PhD in progress: Ida Tucker, Advanced cryptographic primitives from homomorphic encryption, October 2017, Fabien Laguillaumie (co-direction with Guilhem Castagnos, Université de Bordeaux)

Juries

• Damien Stehlé was a jury member for the PhD defences of Ilia Iliashenko (K.U. Leuven, Belgium) and Joost Rijneveld (Radboud U., the Netherlands) and for the habilitation defence of Omar Fawzi (ENS de Lyon). He was a reviewer and jury member of the PhD of Thomas Debris-Alazard (Sorbonne U.) and for the habilitation of Guilhem Castagnos (U. Bordeaux).

• Benoît Libert was a reviewer for the PhD theses of Romain Gay (ENS Paris), Jérémy Chotard (Univ. of Limoges). He was a PhD examiner for the thesis of Andrea Cerulli (University College London, United Kingdom). He also chaired the PhD committee of Anca Nitulescu (ENS Paris).

• Fabien Laguillaumie was reviewer and jury member of the PhD of Pauline Bert (Université de Rennes) and of the HDR of Olivier Blazy (Université de Limoges)

• Jean-Michel Muller was reviewer and jury member of the PhD of Clothilde Jeangoudoux (Sorbonne University, Paris)

• Gilles Villard was reviewer for the PhD thesis of Robin Larrieu (Université Paris-Saclay); examiner for the habilitation of Pascal Giorgi (Université de Montpellier) and the PhD thesis of Matías Bender (Sorbonne Université).