Xavier BULTEL

French version

About Me

I am Associate Professor at INSA CVL (Bourges, France) since 2019, in the SDS team (LIFO). Before that, I was a Post-doctoral Researcher at IRISA (team EMSEC) at Université Rennes 1. I completed my PhD at Université Clermont Auvergne in may 2018. My manuscript is available here.

Xavier BULTEL




Research

My research focuses on cryptography. I'm interested in the areas of protocol design and provable security. In particular, I work on the following topics:

  • Secure delegation in cryptographic protocols
  • Distance bounding protocols
  • Security of TLS and Signal

Publications (dblp)

2020

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

2019

  • 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
  • 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
  • Ghada Arfaoui, Xavier Bultel, Pierre-Alain Fouque, Adina Nedelcu, Cristina Onete
    "The privacy of the TLS 1.3 protocol." PoPETs 2019

2018

  • Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
    “Secure Joins with MapReduce.” FPS 2018
  • 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, 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

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
  • 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, Pascal Lafourcade, Malika More
    "How to explain modern security concepts to your children." Cryptologia (2017)

2016

  • 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
  • Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade,
    "Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen." FUN 2016



Teaching

I teach at the INSA CVL, speciality Computer Security and Technologies (STI) and Industrial Risk Control (MRI).

2nd year : Algorithm and programming (TD/TP).
STI 3rd year : Operating systems (CM/TD), Web (TD)
MRI 3rd year : Operating systems (TP)
STI 4th year : Cryptography (TD)
MRI 3rd year : C++ (CM/TD)
STI 5th year : Cryptography and security protocols (CM/TD)

From 2014 to 2017, I taught at the "networks and telecommunications" department (IUT Clermont-Ferrand).

Licences 3 pro : Operating system for networks.
DUTs 1 : Operating system, Database, web.




Contact

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

Mail : xavier dot bultel at insa-cvl dot fr
Tel : +33 (0)2 48 48 41 27.

Bonus : try my computer science paper title generator here.