Xavier BULTEL

English version

Présentation

Je suis maître de conférences à l' INSA CVL à Bourges, et membre de l'équipe SDS du Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) depuis 2019. Avant cela, J'étais postdoc à l'IRISA (équipe EMSEC) à l'Université Rennes 1. J'ai soutenu ma thèse à l'Université Clermont Auvergne en mai 2018. Mon manuscrit est disponible ici.

Menu

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)

2022

  • Xavier Bultel
    "CCA Secure A Posteriori Openable Encryption in the Standard Model." CT-RSA 2022 (Eprint)
  • Xavier Bultel, Cristina Onete
    "Pairing-free secure-channel establishment in mobile networks with fine-grained lawful interception" SAC 2022, short paper (Eprint)
  • Xavier Bultel
    "Enseigner les preuves à divulgation nulle sur des chiffrements sans prérequis d'arithmétique."
    RESSI 2022 (Eprint)
  • Xavier Bultel
    "Zero-Knowledge Proof of Knowledge for Peg Solitaire." FUN 2022 (Paper)

2021

  • Angèle Bossuat, Xavier Bultel
    "Unlinkable and Invisible γ-Sanitizable Signatures." ACNS 2021 (best student paper award) (Eprint)
  • Olivier Blazy, Xavier Bultel, Pascal Lafourcade, Octavio Perez Kempner
    "Generic Plaintext Equality and Inequality Proofs." FC 2021 (Eprint)
  • Ghada Arfaoui, Olivier Blazy, Xavier Bultel, Pierre-Alain Fouque, Thibaut Jacques, Adina Nedelcu, Cristina Onete
    "How to (legally) keep secrets from mobile operators." ESORICS 2021 (Eprint)
  • Xavier Bultel, Pascal Lafourcade, Charles Olivier-Anclin, Leo Robert
    "Generic Construction for Identity-based Proxy Blind Signature." FPS 2021

2020

  • Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade,
    "A Faster Cryptographer's Conspiracy Santa." Theoretical Computer Science (Eprint)
  • Angèle Bossuat, Xavier Bultel, Pierre-Alain Fouque, Cristina Onete, Thyla van der Merwe
    "Designing Reverse Firewalls for the Real World." ESORICS 2020 (Eprint)

2019

  • Xavier Bultel, Pascal Lafourcade,
    "Secure Trick-Taking Game Protocols: How to Play Online Spades with Cheaters." FC 2019 (Eprint)
  • 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 (Eprint)
  • Olivier Blazy, Angèle Bossuat, Xavier Bultel, Pierre-Alain Fouque, Cristina Onete, Elena Pagnin
    "SAID: Reshaping Signal into an Identity-Based Asynchronous Messaging Protocol with Authenticated Ratcheting." EuroS&P 2019 (Eprint)
  • Ghada Arfaoui, Xavier Bultel, Pierre-Alain Fouque, Adina Nedelcu, Cristina Onete
    "The privacy of the TLS 1.3 protocol." PoPETs 2019 (Eprint)

2018

  • Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
    “Secure Joins with MapReduce.” FPS 2018 (best paper award) (Eprint)
  • 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 (Eprint)
  • 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 (Eprint)
  • Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade,
    "A Cryptographer's Conspiracy Santa." FUN 2018 (Eprint)

2017

  • 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." AsiaCCS 2017 (Eprint)
  • Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade
    "Secure Matrix Multiplication with MapReduce." ARES 2017 (Eprint)
  • Xavier Bultel, Pascal Lafourcade
    "Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures."
    CANS 2017 (Eprint)
  • Xavier Bultel, Manik Lal Das, Hardik Gajera, David Gérault, Matthieu Giraud, Pascal Lafourcade
    "Verifiable Private Polynomial Evaluation." ProvSec 2017 (Eprint)
  • Xavier Bultel, Jannik Dreier, Pascal Lafourcade, Malika More
    "How to explain modern security concepts to your children." Cryptologia (Eprint)

2016

  • Xavier Bultel, Pascal Lafourcade,
    "A Posteriori Openable Public Key Encryption." IFIP SEC 2016 (Eprint)
  • 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 (Eprint)
  • Olivier Blazy, Xavier Bultel, Pascal Lafourcade,
    "Two Secure Anonymous Proxy-based Data Storages." SECRYPT 2016, short paper (Eprint)
  • Xavier Bultel, Pascal Lafourcade,
    "k-time Full Traceable Ring Signature." ARES 2016 (Eprint)
  • Olivier Blazy, Xavier Bultel, Pascal Lafourcade,
    "Anonymizable Ring Signature Without Pairing." FPS 2016 (Eprint)
  • Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade,
    "Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen." FUN 2016 (Eprint)



Enseignement

J'enseigne à INSA CVL, spécialité "Sécurité et Technologies Informatiques" (STI) et "Maîtrise des Risques Industriels" (MRI) :

STI 3ème année : Codes correcteurs (CM/TD)
STI 3ème année : Système d'exploitation (CM/TD)
MRI 3ème année : Système d'exploitation (TP)
STI 4ème année: Cryptographie (CM/TD)
MRI 4ème année : C++ (CM/TD)
STI 5ème année : Cryptographie et protocoles sécurisés (CM/TD)

Les années précédentes, j'ai également enseigné dans les modules suivants :

2ème année : Algorithme et programmation (TD/TP).
STI 3ème année : Web (TD)

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, programmation, web dynamique.




Jeux combinatoires

Sur mon temps libre, j'apprécie jouer à des jeux de société combinatoires. J'en ai moi-même créé quelques-uns. L'implémentation de ce type de jeux est un bon exercice d'algorithmique, ainsi, je propose aux étudiants de l'INSA CVL qui le souhaitent d'implémenter mes créations pour leur projet de programmation de troisième année. Le but est de proposer une interface et une intelligence artificielle pour un jeu donné. Vous pouvez essayer quelques-unes de ces applications :



Contact

INSA-CVL
88 boulevard Lahitolle
CS 60013 - 18022 Bourges CEDEX

Mail : xavier dot bultel at insa-cvl dot fr

Bonus : découvrez mon générateur de titre de papier d'informatique ici.