Current & Past PhD Students


  • Nathan Papon (Telecom Paris, Institut Polytechnique de Paris, co-supervision with Sébastien Canard)
  • Duy Nguyen (Telecom Paris, Institut Polytechnique de Paris, co-supervision with David Pointcheval)
  • Orel Cosseron (ENS Lyon, co-supervision with Damien Stehlé)
  • Ferran Alborch Escobar (Orange + Telecom Paris, co-supervision with Sébastien Canard and Fabien Laguillaumie)
  • Ky Nguyen (ENS, co-supervision with David Pointcheval)
  • Antoine Urban (Telecom Paris, Institut Polytechnique de Paris, co-supervision with Matthieu Rambaud)
  • Chloé Hebant (ENS, co-supervision with David Pointcheval, defended 05/2021)
  • Xuan Thanh Do (XLIM-Limoges and Vietnam National University, co-supervision with Le Minh Ha, defended 03/2021)
  • Laura Brouilhet (XLIM-Limoges, co-supervision with Olivier Blazy, defended 12/2020)
  • Jérémy Chotard (XLIM-Limoges and ENS, co-supervision with David Pointcheval, defended 12/2019)
  • Paul Germouty (XLIM-Limoges, co-supervision with Olivier Blazy, defended 09/2018)
  • Trinh Viet Cuong (LAGA-Paris 8, co-supervision with Claude Carlet, defended 12/2013)

Papers in cryptography


Papers in other domains


  • Some Preliminary Results on the Stableness of Extended F-rule Systems
    with Thanh Thuy Nguyen (Hanoi Univ. of Science and Technology) and Yamanoi Takahiro (Hokkaido University, Japan)
    Journal of Advanced Computational Intelligence. Pages 252-259, Vol.7 No.3, 2003.

  • Interval-valued Probabilistic Reasoning Agents
    with Thanh Thuy Nguyen (Hanoi Univ. of Science and Technology)
    In Proceeding of the 3rd International Conference on Artificial Intelligence/ Internet Computing, USA, 2002.

  • Decomposing Knowledge Systems of F-rules
    with Thanh Thuy Nguyen (Hanoi Univ. of Science and Technology)
    Journal of Science and Technology, NCSR Vietnam, 40(2), 2002 (in vietnamese).

  • Reasoning in Knowledge Systems of F-rules
    with Thanh Thuy Nguyen (Hanoi Univ. of Science and Technology)
    Journal of Computer science and Cybernetics, 17(1), 2001 (in vietnamese).

Patents


Habilitation Thesis


PhD Thesis


Master Report


  • Une comparaison des preuves de sécurité (méthode formelle vs. méthode calculatoire)
    [ pdf ]