Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

26 résultats
Image document

Practical Construction for Secure Trick-Taking Games Even With Cards Set Aside

Rohann Bella , Xavier Bultel , Céline Chevalier , Pascal Lafourcade , Charles Olivier-Anclin
FC2023 - Twenty-Seventh Financial Cryptography and Data Security Conference, International Financial Cryptography Association, May 2023, Bol, Brač, Croatia
Communication dans un congrès hal-04008484v1
Image document

Secure Joins with MapReduce

Xavier Bultel , Radu Ciucanu , Matthieu Giraud , Pascal Lafourcade , Lihua Ye
FPS 2018 : The 11th International Symposium on Foundations & Practice of Security, Nov 2018, Montreal, Canada
Communication dans un congrès hal-01903098v1
Image document

Anonymizable Ring Signature Without Pairing

Olivier Blazy , Xavier Bultel , Pascal Lafourcade
9th International Symposium on Foundations & Practice of Security, 2016, Québec, Canada
Communication dans un congrès hal-01382951v1
Image document

Zero-Knowledge Proof of Knowledge for Peg Solitaire

Xavier Bultel
11th International Conference on Fun with Algorithms (FUN 2022), May 2022, Favignana, Italy. ⟨10.4230/LIPIcs.FUN.2022.9⟩
Communication dans un congrès hal-03754563v1
Image document

k-Times Full Traceable Ring Signature

Xavier Bultel , Pascal Lafourcade
11th International Conference on Availability, Reliability and Security (ARES 2016), Aug 2016, Salzburg, France. pp.39--48, ⟨10.1109/ARES.2016.37⟩
Communication dans un congrès hal-01691940v2
Image document

How to Explain Modern Security Concepts to your Children

Xavier Bultel , Jannik Dreier , Pascal Lafourcade , Malika More
Cryptologia, 2017, 41 (5), ⟨10.1080/01611194.2016.1238422⟩
Article dans une revue hal-01397035v1
Image document

Efficient Invisible and Unlinkable Sanitizable Signatures

Xavier Bultel , Pascal Lafourcade , Russell W F Lai , Giulio Malavolta , Dominique Schröder , et al.
International Conference on Practice and Theory in Public Key Cryptography PKC'19, 2019, Beijin, China
Communication dans un congrès hal-01964514v1

SAID: Reshaping Signal into an Identity-Based Asynchronous Messaging Protocol with Authenticated Ratcheting

Olivier Blazy , Angèle Bossuat , Xavier Bultel , Pierre-Alain Fouque , Cristina Onete , et al.
IEEE European Symposium on Security and Privacy, EuroS&P 2019, Stockholm, Sweden, June 17-19, 2019, 2019, Stockholm, Sweden. pp.294--309, ⟨10.1109/EuroSP.2019.00030⟩
Communication dans un congrès hal-02307142v1
Image document

A Cryptographer's Conspiracy Santa

Xavier Bultel , Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade
FUN 2018 - 9th International Conference on Fun with Algorithms, Jun 2018, La Maddalena, Italy. pp.13:1--13:13, ⟨10.4230/LIPIcs.FUN.2018.13⟩
Communication dans un congrès hal-01777997v2
Image document

A Faster Cryptographer's Conspiracy Santa

Xavier Bultel , Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade
Theoretical Computer Science, 2020, 839, pp.122-134. ⟨10.1016/j.tcs.2020.05.034⟩
Article dans une revue hal-02611751v1
Image document

Generic Plaintext Equality and Inequality Proofs

Olivier Blazy , Xavier Bultel , Pascal Lafourcade , Octavio Perez-Kempner
Financial Cryptography and Data Security Conference, 2021, Online, Unknown Region. pp.415--435, ⟨10.1007/978-3-662-64322-8\_20⟩
Communication dans un congrès hal-03478247v1
Image document

Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures

Xavier Bultel , Pascal Lafourcade
International Conference on Cryptology and Network Security, 2017, Hong Kong, China
Communication dans un congrès hal-01964491v1
Image document

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

Xavier Bultel , Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade
8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.8:1-8:20, ⟨10.4230/LIPIcs.FUN.2016.8⟩
Communication dans un congrès hal-01326059v1
Image document

Two Secure Anonymous Proxy-based Data Storages

Olivier Blazy , Xavier Bultel , Pascal Lafourcade
13th International Joint Conference on e-Business and Telecommunications (ICETE 2016), 2016, Lisbon, Portugal. pp.251--258, ⟨10.5220/0005962402510258⟩
Communication dans un congrès hal-01382950v1
Image document

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

Xavier Bultel , Sébastien Gambs , David Gérault , Pascal Lafourcade , Cristina Onete , et al.
9th ACM Conference on Security & Privacy in Wireless and Mobile Networks (WiSec), Jul 2016, Darmstadt, Germany. pp.121-133, ⟨10.1145/2939918.2939919⟩
Communication dans un congrès hal-01510800v1
Image document

Secure Trick-Taking Game Protocols How to Play Online Spades with Cheaters

Xavier Bultel , Pascal Lafourcade
Financial Cryptography and Data Security Conference, Feb 2019, Basse terre, Saint Kitts and Nevis
Communication dans un congrès hal-01959762v1
Image document

How to (Legally) Keep Secrets from Mobile Operators

Ghada Arfaoui , Olivier Blazy , Xavier Bultel , Pierre-Alain Fouque , Thibaut Jacques , et al.
Computer Security - ESORICS 2021 - 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4-8, 2021, Proceedings, Part I, 2021, Online, Unknown Region. pp.23--43, ⟨10.1007/978-3-030-88418-5_2⟩
Communication dans un congrès hal-03478246v1

SAID: Reshaping Signal into an Identity-Based Asynchronous Messaging Protocol with Authenticated Ratcheting

Olivier Blazy , Angèle Bossuat , Xavier Bultel , Pierre-Alain Fouque , Cristina Onete , et al.
Cryptology ePrint Archive, 2019, 2019, pp.367
Article dans une revue hal-02307143v1
Image document

The privacy of the TLS 1.3 protocol

Ghada Arfaoui , Xavier Bultel , Pierre-Alain Fouque , Adina Nedelcu , Cristina Onete
Proceedings on Privacy Enhancing Technologies, 2019, 2019, pp.190 - 210. ⟨10.2478/popets-2019-0065⟩
Article dans une revue hal-02482253v1
Image document

Verifiable Private Polynomial Evaluation

Xavier Bultel , Manik Lal Das , Hardik Gajera , David Gérault , Matthieu Giraud , et al.
11th International Conference on Provable Security (ProvSec 2017), Oct 2017, Xi'an, China. pp.487-506
Communication dans un congrès hal-01689825v1
Image document

Secure Matrix Multiplication with MapReduce

Xavier Bultel , Radu Ciucanu , Matthieu Giraud , Pascal Lafourcade
12th International Conference on Availability, Reliability and Security ARES, Aug 2017, Reggio Di Calabria, Italy
Communication dans un congrès hal-01927273v1
Image document

SPADE : un protocole délimiteur de distance anonyme et résistant à la fraude terroriste

Xavier Bultel , Sébastien Gambs , David Gérault , Pascal Lafourcade , Cristina Onete , et al.
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
Communication dans un congrès hal-01524410v1
Image document

A Posteriori Openable Public Key Encryption

Xavier Bultel , Pascal Lafourcade
31st IFIP Information Security & Privacy Conference (IFIP SEC), May 2016, Ghent, Belgium. pp.17-31, ⟨10.1007/978-3-319-33630-5_2⟩
Communication dans un congrès hal-01369535v1
Image document

Security Analysis and Psychological Study of Authentication Methods with PIN Codes

Xavier Bultel , Jannik Dreier , Matthieu Giraud , Marie Izaute , Timothée Kheyrkhah , et al.
RCIS 2018 - IEEE 12th International Conference on Research Challenges in Information Science, May 2018, Nantes, France. pp.1--11, ⟨10.1109/RCIS.2018.8406648⟩
Communication dans un congrès hal-01777898v1
Image document

Physical Zero-Knowledge Proof for Makaro

Xavier Bultel , Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade , Daiki Miyahara , et al.
SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.111-125, ⟨10.1007/978-3-030-03232-6_8⟩
Communication dans un congrès hal-01898048v1
Image document

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

Gildas Avoine , Xavier Bultel , Sébastien Gambs , David Gerault , Pascal Lafourcade , et al.
Asia Conference on Information, Computer and Communications Security, Apr 2017, Abu Dhabi, United Arab Emirates. pp.800-814, ⟨10.1145/3052973.3053000⟩
Communication dans un congrès hal-01588560v1