Xavier Bultel

Publications

145

Citations

H-Index

2016

Active since

Affiliations

Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes(Current)

Université Clermont Auvergne

Institut de Recherche en Informatique et Systèmes Aléatoires

Centre National de la Recherche Scientifique

Université du Québec à Montréal

Xavier Bultel is an author at Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes specializing in computer science, engineering, and cryptography.

ORCID

Top concepts

EngineeringCryptographyComputer ScienceData PrivacyData SecurityFormal VerificationInformation SecurityPrivacyCommunicationFormal Methods

Publications per year

2016–2019

Publications

The privacy of the TLS 1.3 protocol

Ghada Arfaoui, Xavier Bultel, Pierre-Alain Fouque et al. · SHILAP Revista de lepidopterología · 2019 · 40 citations · Full text

A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol

Gildas Avoine, Xavier Bultel, Sébastien Gambs et al. · 2017 · 32 citations · Full text

Engineering, Information Security, Verification +20

Security analysis and psychological study of authentication methods with PIN codes

Xavier Bultel, Jannik Dreier, Matthieu Giraud et al. · 2018 · 20 citations · Full text

A Prover-Anonymous and Terrorist-Fraud Resistant Distance-Bounding Protocol

Xavier Bultel, Sébastien Gambs, David Gérault et al. · 2016 · 18 citations · Full text

Engineering, Information Security, Information Forensics +18

Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen

Xavier Bultel, Jannik Dreier, Jean‐Guillaume Dumas et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 12 citations · Full text

Engineering, Combinatorial Game, Game Theory +18

Rows per page

1–5 of 7