Xavier BULTEL

English version

Présentation

Je suis postdoc à l'IRISA (équipe EMSEC) à l'Université Rennes 1 depuis juin 2018. J'ai soutenu ma thèse à l'Université Clermont Auvergne en mai 2018. Mon manuscrit est disponible ici.

Xavier BULTEL

Recherche

Mes recherches portent sur la cryptographie. Je travaille principalement sur le design de protocoles cryptographiques à sécurité prouvable. En particulier, je m'intéresse aux thématiques suivantes:

  • Délégation de droits sécurisée
  • Protocoles délimiteurs de distance
  • Sécurité des protocoles TLS et Signal

Publications (dblp)

  • Xavier Bultel, Pascal Lafourcade,
    "A Posteriori Openable Public Key Encryption." IFIP SEC 2016
  • Xavier Bultel, Sébastien Gambs, David Gerault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert,
    "A Prover-Anonymous and Terrorist-Fraud Resistant Distance Bounding Protocol." WiSec 2016
  • Olivier Blazy, Xavier Bultel, Pascal Lafourcade,
    "Two Secure Anonymous Proxy-based Data Storages." SECRYPT 2016
  • Xavier Bultel, Pascal Lafourcade,
    "k-time Full Traceable Ring Signature." ARES 2016
  • Olivier Blazy, Xavier Bultel, Pascal Lafourcade,
    "Anonymizable Ring Signature Without Pairing." FPS 2016
  • Gildas Avoine, Xavier Bultel, Sébastien Gambs, David Gerault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert,
    "A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-Bounding Protocol." ASIA CCS 2017
  • Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade
    "Secure Matrix Multiplication with MapReduce." ARES 2017
  • Xavier Bultel, Pascal Lafourcade
    "Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures." CANS 2017
  • Xavier Bultel, Manik Lal Das, Hardik Gajera, David Gérault, Matthieu Giraud, Pascal Lafourcade
    "Verifiable Private Polynomial Evaluation." ProvSec 2017
  • Xavier Bultel, Jannik Dreier, Matthieu Giraud, Marie Izaute, Timothée Kheyrkhah, Pascal Lafourcade, Dounia Lakhzoum, Vincent Marlin, Ladislav Moták
    "Security analysis and psychological study of authentication methods with PIN codes." RCIS 2018
  • Xavier Bultel, Pascal Lafourcade,
    "Secure Trick-Taking Game Protocols: How to Play Online Spades with Cheaters." FC 2019
  • Xavier Bultel, Pascal Lafourcade, Russell W. F. Lai, Giulio Malavolta, Dominique Schröder, Sri Aravinda Krishnan Thyagarajan
    "Efficient Invisible and Unlinkable Sanitizable Signatures." PKC 2019

Publications pédagogiques ou pour le fun

  • Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade,
    "Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen." FUN 2016
  • Xavier Bultel, Jannik Dreier, Pascal Lafourcade, Malika More
    "How to explain modern security concepts to your children." Cryptologia (2017)
  • Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa, Hideaki Sone
    "Physical Zero-Knowledge Proof for Makaro." SSS 2018
  • Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade,
    "A Cryptographer's Conspiracy Santa." FUN 2018

Enseignement

De 2014 à 2017, j'ai enseigné au département "réseaux et télécommunications" de l'IUT de Clermont-Ferrand.

Pour les licences 3 pro : Système d'exploitation réseaux.
Pour les DUTs 1 : Système d'exploitation, base de la programmation, web dynamique.

Durant l'année 2014-2015, j'ai encadré le projet de deux étudiants de licence sur le thème du buffer overflow.

Contact

Bureau F415
IRISA
263 Avenue Général Leclerc
35000 Rennes

Mail : xavier dot bultel at irisa dot fr
Téléphone : +33 (0)2 99 84 71 37 (87137).