Publications
67 documents
Articles dans une revue
- Vlad Dragoi, Brice Colombier, Pierre-Louis Cayrel, Vincent Grosso. Integer Syndrome Decoding in the Presence of Noise. Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , 2024, 16 (5), pp.1103-1134. ⟨10.1007/s12095-024-00712-3⟩. ⟨hal-04687281⟩
- Pierre-Jean Spaenlehauer, Antoine Leudière. Computing a Group Action from the Class Field Theory of Imaginary Hyperelliptic Function Fields. Journal of Symbolic Computation, 2024, 125, ⟨10.1016/j.jsc.2024.102311⟩. ⟨hal-03633990⟩
- André Schrottenloher, Marc Stevens. Simplified Modeling of MITM Attacks for Block Ciphers: New (Quantum) Attacks. IACR Transactions on Symmetric Cryptology, 2023, 2023 (3), pp.146-183. ⟨10.46586/tosc.v2023.i3.146-183⟩. ⟨hal-04261017⟩
- Magali Bardet, Pierre Briaud, Maxime Bros, Philippe Gaborit, Jean-Pierre Tillich. Revisiting Algebraic Attacks on MinRank and on the Rank Decoding Problem. Designs, Codes and Cryptography, 2023, ⟨10.1007/s10623-023-01265-x⟩. ⟨hal-04193709⟩
- Doudou Dione, Boly Seck, Idy Diop, Pierre-Louis Cayrel, Demba Faye, et al.. Hardware Security for IoT in the Quantum Era: Survey and Challenges. International Journal of Information Security, 2023, 14 (04), pp.227-249. ⟨10.4236/jis.2023.144014⟩. ⟨hal-04419950⟩
- Sarah Arpin, James Clements, Pierrick Dartois, Jonathan Komada Eriksen, Péter Kutas, et al.. Finding Orientations of Supersingular Elliptic Curves and Quaternion Orders. Designs, Codes and Cryptography, 2023, 92 (11), pp.3447-3493. ⟨10.48550/arXiv.2308.11539⟩. ⟨hal-04186188⟩
- Katharina Boudgoust, Corentin Jeudy, Adeline Roux-Langlois, Weiqiang Wen. On the Hardness of Module Learning with Errors with Short Distributions. Journal of Cryptology, 2023, 36 (1), pp.1-70. ⟨10.1007/s00145-022-09441-3⟩. ⟨hal-04028217⟩
- Thomas Debris-Alazard, Maxime Remaud, Jean-Pierre Tillich. Quantum Reduction of Finding Short Code Vectors to the Decoding Problem. IEEE Transactions on Information Theory, In press, pp.1-1. ⟨10.1109/TIT.2023.3327759⟩. ⟨hal-04276190v2⟩
- Magali Bardet, Rocco Mora, Jean-Pierre Tillich. Polynomial time key-recovery attack on high rate random alternant codes. IEEE Transactions on Information Theory, In press, ⟨10.1109/TIT.2023.3334592⟩. ⟨hal-04276519⟩
- Slim Bettaieb, Loïc Bidoux, Olivier Blazy, Yann Connan, Philippe Gaborit. A gapless code-based hash proof system based on RQC and its applications. Designs, Codes and Cryptography, 2022, ⟨10.1007/s10623-022-01075-7⟩. ⟨hal-03815797⟩
- Nicolas Aragon, Olivier Blazy, Jean-Christophe Deneuville, Philippe Gaborit, Gilles Zemor. Ouroboros An efficient and provably secure KEM family. IEEE Transactions on Information Theory, 2022, pp.1-1. ⟨10.1109/TIT.2022.3168439⟩. ⟨hal-03679752⟩
- Xavier Bonnetain, Samuel Jaques. Quantum Period Finding against Symmetric Primitives in Practice. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2021, 2022 (1), pp.1-27. ⟨10.46586/tches.v2022.i1.1-27⟩. ⟨hal-03431518⟩
- Alain Couvreur, Matthieu Lequesne. On the security of subspace subcodes of Reed-Solomon codes for public key encryption. IEEE Transactions on Information Theory, 2021, 68 (1), pp.632-648. ⟨10.1109/TIT.2021.3120440⟩. ⟨hal-02938812⟩
Communications dans un congrès
- Karthikeyan Bhargavan, Charlie Jacomme, Franziskus Kiefer, Rolfe Schmidt. Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging. 33rd USENIX Security Symposium, Aug 2024, Philadelphia (PA), United States. ⟨hal-04604518v2⟩
- Bruno Blanchet, Charlie Jacomme. Post-quantum sound CryptoVerif and verification of hybrid TLS and SSH key-exchanges. CSF'24 - 37th IEEE Computer Security Foundations Symposium, IEEE, Jul 2024, Enschede, Netherlands. pp.543-556, ⟨10.1109/CSF61375.2024.00032⟩. ⟨hal-04577912⟩
- Alain Couvreur, Anne Canteaut, Léo Perrin. On the Properties of the Ortho-Derivatives of Quadratic Functions. WCC 2024 - The Thirteenth International Workshop on Coding and Cryptography, Jun 2024, Perugia, Italy. ⟨hal-04648515⟩
- Aurel Page, Benjamin Wesolowski. The supersingular Endomorphism Ring and One Endomorphism problems are equivalent. Advances in Cryptology -- EUROCRYPT 2024, May 2024, Zurich (CH), Switzerland. pp.388-417, ⟨10.1007/978-3-031-58751-1_14⟩. ⟨hal-04209824v2⟩
- Guilhem Mureau, Alice Pellet-Mary, Georgii Pliatsok, Alexandre Wallet. Cryptanalysis of rank-2 module-LIP in Totally Real Number Fields. Eurocrypt 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2024, Zurich, Switzerland. pp.226-255, ⟨10.1007/978-3-031-58754-2_9⟩. ⟨hal-04701342⟩
- Pierrick Dartois, Antonin Leroux, Damien Robert, Benjamin Wesolowski. SQIsignHD: New Dimensions in Cryptography. Eurocrypt 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2024, Zurich (CH), Switzerland. pp.3-32, ⟨10.1007/978-3-031-58716-0_1⟩. ⟨hal-04562459⟩
- Kévin Carrier, Jean-Pierre Tillich, Valerian Hatey. Projective Space Stern Decoding and Application to SDitH. Workshop on Advances in Asymmetric Cryptanalysis (AAC'24), Mar 2024, Abu Dabi, United Arab Emirates. ⟨hal-04519768⟩
- Maxime Bombar, Alain Couvreur, Thomas Debris-Alazard. Pseudorandomness of Decoding, Revisited: Adapting OHCP to Code-Based Cryptography. ASIACRYPT 2023 - International Conference on the Theory and Application of Cryptology and Information Security, Dec 2023, Guang Zhou, China. ⟨hal-04308091⟩
- Thomas Espitau, Alexandre Wallet, Yang Yu. On Gaussian sampling, smoothing parameter. ASIACRYPT 2023 - 29th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2023, Guangzhou (Canton), China. pp.1-56. ⟨hal-04258598⟩
- Thomas Espitau, Quyen Thi Thu Nguyen, Chao Sun, Mehdi Tibouchi, Alexandre Wallet. Antrag: Annular Ntru Trapdoor Generation. ASIACRYPT 2023 - 29th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2023, Guangzhou (Canton), China. pp.1-56. ⟨hal-04258578⟩
- Alain Couvreur, Rocco Mora, Jean-Pierre Tillich. A new approach based on quadratic forms to attack the McEliece cryptosystem. ASIACRYPT 2023, Dec 2023, Guangzhou, China. ⟨hal-04215135⟩
- Joël Felderhoff, Alice Pellet-Mary, Damien Stehlé, Benjamin Wesolowski. Ideal-SVP is Hard for Small-Norm Uniform Prime Ideals. Theory of Cryptography, TCC 2023, Dec 2023, Taipei (Taiwan), Taiwan. pp.63-92, ⟨10.1007/978-3-031-48624-1_3⟩. ⟨hal-04326750⟩
- Charles Meyer-Hilfiger, Jean-Pierre Tillich. Rigorous Foundations for Dual Attacks in Coding Theory. Theory of Cryptography Conference (TCC), Kai-Min, Bo-Yin Yang, Nov 2023, Taipei, Taiwan. pp.3--32, ⟨10.1007/978-3-031-48624-1_1⟩. ⟨hal-04276901⟩
- Gabrielle de Micheli, Daniele Micciancio, Alice Pellet--Mary, Nam Tran. Reductions from Module Lattices to Free Module Lattices, and Application to Dequantizing Module-LLL. Crypto 2023, Aug 2023, Santa Barbara, United States. pp.836-865, ⟨10.1007/978-3-031-38554-4_27⟩. ⟨hal-04284684⟩
- Corentin Jeudy, Adeline Roux-Langlois, Olivier Sanders. Lattice Signature with Efficient Protocols, Application to Anonymous Credentials. Crypto 2023 - 43rd Annual International Cryptology Conference, Aug 2023, Santa Barbara, United States. pp.351-383, ⟨10.1007/978-3-031-38545-2_12⟩. ⟨hal-04242499⟩
- André Schrottenloher. Quantum Linear Key-Recovery Attacks Using the QFT. CRYPTO 2023 - 43rd International Cryptology Conference, Aug 2023, Santa Barbara, CA, United States. pp.258-291, ⟨10.1007/978-3-031-38554-4_9⟩. ⟨hal-04260886⟩
- Nicolas Sendrier. Wave Parameter Selection. PQCrypto 2023 - 14th International Conference on Post-Quantum Cryptography, Aug 2023, College Park, United States. pp.91-110, ⟨10.1007/978-3-031-40003-2_4⟩. ⟨hal-04525954⟩
- Alain Couvreur, Ilaria Zappatore. An extension of Overbeck's attack with an application to cryptanalysis of Twisted Gabidulin-based schemes. Post-Quantum Cryptography. PQCrypto 2023, Aug 2023, College Park, United States. pp.3-37, ⟨10.1007/978-3-031-40003-2_1⟩. ⟨hal-04088012⟩
- Maxime Remaud, André Schrottenloher, Jean-Pierre Tillich. Time and Query Complexity Tradeoffs for the Dihedral Coset Problem. PQCrypto 2023 - 14th International Conference on Post-Quantum Cryptography, Gorjan Alagic, Andrew Childs, Dustin Moody, Rene Peralta, Angela Robinson, Aug 2023, College Park, United States. pp.505-532, ⟨10.1007/978-3-031-40003-2_19⟩. ⟨hal-04276584⟩
- Boly Seck, Pierre-Louis Cayrel, Vlad-Florin Dragoi, Idy Diop, Morgan Barbier, et al.. A Side-Channel Attack against Classic McEliece when loading the Goppa Polynomial.. Progress in Cryptology - AFRICACRYPT, Jul 2023, Sousse, Tunisia, Tunisia. pp.105-125, ⟨10.1007/978-3-031-37679-5_5⟩. ⟨hal-04138792⟩
- Jean-Pierre Tillich. Recent algebraic attacks on the McEliece cryptosystem. International Conference on Finite Fields and Their Applications 2023 (Fq15), Sihem Mesnager, Jun 2023, Aubervilliers (espace Condorcet), France. ⟨hal-04276638⟩
- Pierre-Alain Fouque, Adela Georgescu, Chen Qian, Adeline Roux-Langlois, Weiqiang Wen. A Generic Transform from Multi-Round Interactive Proof to NIZK. PKC 2023 - International Conference on Practice and Theory of Public-Key Cryptography, May 2023, Atlanta, United States. pp.461-481, ⟨10.1007/978-3-031-31371-4_16⟩. ⟨hal-04163128⟩
- Luca De Feo, Tako Boris Fouotsa, Péter Kutas, Antonin Leroux, Simon-Philipp Merz, et al.. SCALLOP: scaling the CSI-FiSh. PKC 2023, May 2023, Atlanta, United States. pp.345-375, ⟨10.1007/978-3-031-31368-4_13⟩. ⟨hal-04052532⟩
- Luca de Feo, Antonin Leroux, Patrick Longa, Benjamin Wesolowski. New algorithms for the Deuring correspondence Towards practical and secure SQISign signatures. Eurocrypt 2023, Apr 2023, Lyon, France. ⟨hal-04052502⟩
- Xavier Bonnetain, André Chailloux, André Schrottenloher, Yixin Shen. Finding many Collisions via Reusable Quantum Walks. EUROCRYPT 2023 - International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2023, Lyon, France. pp.221-251, ⟨10.1007/978-3-031-30589-4_8⟩. ⟨hal-04261002⟩
- Andrea Basso, Giulio Codogni, Deirdre Connolly, Luca de Feo, Tako Boris Fouotsa, et al.. Supersingular Curves You Can Trust. Eurocrypt 2023, Apr 2023, Lyon, France. ⟨hal-04052486⟩
- Alain Couvreur. Improved decoding of symmetric rank metric errors. 2023 IEEE Information Theory Workshop (ITW), Apr 2023, Saint-Malo, France. pp.238-242, ⟨10.1109/ITW55543.2023.10161649⟩. ⟨hal-03920845⟩
- Vincent Grosso, Pierre-Louis Cayrel, Brice Colombier, Vlad-Florin Drăgoi. Punctured Syndrome Decoding Problem. COSADE 2023 - Constructive side-channel analysis and secure design, Apr 2023, Munich (Allemagne), Germany. pp.170-192, ⟨10.1007/978-3-031-29497-6_9⟩. ⟨hal-04059995⟩
- Damien Robert. Breaking SIDH in polynomial time. Advances in Cryptology – EUROCRYPT 2023, 2023, Lyon, France. pp.472-503, ⟨10.1007/978-3-031-30589-4_17⟩. ⟨hal-03943959v2⟩
- Luciano Maino, Chloe Martindale, Lorenz Panny, Giacomo Pope, Benjamin Wesolowski. A Direct Key Recovery Attack on SIDH. Advances in Cryptology – EUROCRYPT 2023, 2023, Lyon, France. pp.448-471, ⟨10.1007/978-3-031-30589-4_16⟩. ⟨hal-04023441⟩
- Katharina Boudgoust, Corentin Jeudy, Adeline Roux-Langlois, Weiqiang Wen. Entropic Hardness of Module-LWE from Module-NTRU. 23rd International Conference on Cryptology, Kolkata, India : Progress in Cryptology – INDOCRYPT 2022, Dec 2022, Kolkata, India. pp.78 - 99, ⟨10.1007/978-3-031-22912-1_4⟩. ⟨hal-04028179⟩
- Joël Felderhoff, Alice Pellet-Mary, Damien Stehlé. On Module Unique-SVP and NTRU. Asiacrypt 2022 - 28th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2022, Taipei, Taiwan. ⟨hal-03789544⟩
- Olivier Bernard, Andrea Lesavourey, Tuong-Huy Nguyen, Adeline Roux-Langlois. Log-S-unit Lattices Using Explicit Stickelberger Generators to Solve Approx Ideal-SVP. ASIACRYPT 2022 - 28th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2022, Taipei, Taiwan, Taiwan. pp.677-708, ⟨10.1007/978-3-031-22969-5_23⟩. ⟨hal-04028180⟩
- Thomas Espitau, Mehdi Tibouchi, Alexandre Wallet, Yang Yu. SHORTER HASH-AND-SIGN LATTICE-BASED SIGNATURES. Advances in Cryptology – CRYPTO 2022, Aug 2022, Santa Barbara, United States. pp.245-275, ⟨10.1007/978-3-031-15979-4_9⟩. ⟨hal-03854905v2⟩
- Maxime Bombar, Alain Couvreur, Thomas Debris-Alazard. On Codes and Learning With Errors over Function Fields. CRYPTO 2022, Aug 2022, Santa Barbara (CA), United States. pp.513-540, ⟨10.1007/978-3-031-15979-4_18⟩. ⟨hal-03597834⟩
- Loïc Bidoux, Philippe Gaborit, Mukul Kulkarni, Nicolas Sendrier. Quasi-Cyclic Stern Proof of Knowledge. ISIT 2022 - IEEE International Symposium on Information Theory, Jun 2022, Espoo, Finland. pp.1459-1464, ⟨10.1109/ISIT50566.2022.9834642⟩. ⟨hal-03978139⟩
- Gustavo Banegas, Koen Zandberg, Emmanuel Baccelli, Adrian Herrmann, Benjamin Smith. Quantum-Resistant Software Update Security on Low-Power Networked Embedded Devices. ACNS 2022 - International Conference on Applied Cryptography and Network Security, Jun 2022, Rome, Italy. pp.872-891, ⟨10.1007/978-3-031-09234-3_43⟩. ⟨hal-03931075⟩
- Thomas Espitau, Pierre-Alain Fouque, François Gérard, Mélissa Rossi, Akira Takahashi, et al.. MITAKA: A Simpler, Parallelizable, Maskable Variant of FALCON. Eurocrypt 2022 - International Conference on the Theory and Applications of Cryptographic Techniques, May 2022, Trondheim, Norway. pp.1-50. ⟨hal-03627833⟩
- Xavier Bonnetain, André Schrottenloher, Ferdinand Sibleyras. Beyond quadratic speedups in quantum attacks on symmetric schemes. EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Colin Boyd, May 2022, Trondheim, Norway. pp.315-344, ⟨10.1007/978-3-031-07082-2_12⟩. ⟨hal-03926591⟩
- Shweta Agrawal, Elena Kirshanova, Damien Stehlé, Anshu Yadav. Practical, Round-Optimal Lattice-Based Blind Signatures. CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, Los Angeles CA USA, France. pp.39-53, ⟨10.1145/3548606.3560650⟩. ⟨hal-03904051⟩
Proceedings/Recueil des communications
- Henry Bambury, Hugo Beguinet, Thomas Ricosset, Éric Sageloli. Polytopes in the Fiat-Shamir with Aborts Paradigm. Advances in Cryptology – CRYPTO 2024, Lecture Notes in Computer Science, 14920, pp.339-372, 2024, Lecture Notes in Computer Science, 978-3-031-68376-3. ⟨10.1007/978-3-031-68376-3_11⟩. ⟨hal-04688010⟩
Pré-publications, Documents de travail
- Pierrick Dartois. Fast computation of 2-isogenies in dimension 4 and cryptographic applications. 2024. ⟨hal-04662137⟩
- Andrea Basso, Luca de Feo, Pierrick Dartois, Antonin Leroux, Luciano Maino, et al.. SQIsign2D-West The Fast, the Small, and the Safer. 2024. ⟨hal-04603556⟩
- Maria Corte-Real Santos, Craig Costello, Benjamin Smith. Efficient $(3,3)$-isogenies on fast Kummer surfaces. 2024. ⟨hal-04433463v2⟩
- Kévin Carrier, Thomas Debris-Alazard, Charles Meyer-Hilfiger, Jean-Pierre Tillich. Reduction from Sparse LPN to LPN, Dual Attack 3.0. 2023. ⟨hal-04328262⟩
- Pierrick Dartois, Luciano Maino, Giacomo Pope, Damien Robert. An Algorithmic Approach to (2, 2)-isogenies in the Theta Model and Applications to Isogeny-based Cryptography. 2023. ⟨hal-04297088⟩
- Arthur Herlédan Le Merdy, Benjamin Wesolowski. The supersingular endomorphism ring problem given one endomorphism. 2023. ⟨hal-04212227v2⟩
- Xavier Caruso, Antoine Leudière. Algorithms for computing norms and characteristic polynomials on general Drinfeld modules. 2023. ⟨hal-04151171v3⟩
- Gustavo Banegas, Valerie Gilchrist, Anaëlle Le Dévéhat, Benjamin Smith. Fast and Frobenius: Rational Isogeny Evaluation over Finite Fields. 2023. ⟨hal-04143067⟩
- Pierrick Dartois, Antonin Leroux, Damien Robert, Benjamin Wesolowski. SQISignHD: New Dimensions in Cryptography. 2023. ⟨hal-04056062v2⟩
- Alice Pellet-Mary, Nam Tran. Reductions from module lattices to free module lattices. 2023. ⟨hal-04119912⟩
- Damien Robert. Some applications of higher dimensional isogenies to elliptic curves (overview of results). 2023. ⟨hal-03943973v3⟩
- Damien Robert. Evaluating isogenies in polylogarithmic time. 2023. ⟨hal-03943970v2⟩
Rapports
- Bruno Blanchet, Charlie Jacomme. CryptoVerif: a Computationally-Sound Security Protocol Verifier. RR-9526, Inria. 2023, pp.194. ⟨hal-04253820⟩
Documents récupérés de l'archive ouverte HAL 