Publications



435 documents

Journal articles


Conference papers

  • Amaury Pouly, Yixin Shen. Discrete gaussian sampling for BKZ-reduced basis. ArcticCrypt 2025, Jul 2025, Longyearbyen, Svalbard, Norway. pp.1-22. ⟨hal-04823293⟩
  • Ivan Sarno, Stefano Di Matteo, Emanuele Valea, Cyrille Chavet. RISC-V-based Acceleration Strategies for Post-Quantum Cryptography. RiscV Summit Europe, May 2025, Paris, France. ⟨cea-05123537⟩
  • Alexandre Ortega, Lilian Bossuet, Brice Colombier. Low-Latency FFT/iFFT RTL Implementation for the FALCON Post-Quantum Signature Algorithm. Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), May 2025, Fayetteville, Arkansas, United States. ⟨hal-05072821⟩
  • Kinnari Dave, Louis Lemonnier, Romain Péchoux, Vladimir Zamdzhiev. Combining quantum and classical control: syntax, semantics and adequacy. FoSSaCS 2025 - 28th International Conference on Foundations of Software Science and Computation Structures, May 2025, Hamilton, Canada. pp.155-175, ⟨10.1007/978-3-031-90897-2_8⟩. ⟨hal-05093249⟩
  • Brice Colombier, Vincent Grosso, Pierre-Louis Cayrel, Vlad Dragoi. Message-recovery Horizontal Correlation Attack on Classic McEliece. Conference on Constructive Approaches for Security Analysis and Design of Embedded Systems (CASCADE 2025), Apr 2025, Saint-Étienne, France. ⟨hal-05101492⟩
  • Alessandra Dolmeta, Stefano Di Matteo, Emanuele Valea, Mikael Carmona, Antoine Loiseau, et al.. TYRCA: TightlY-coupled accelerator for RISC-V with Code-based cryptogrAphy. DATE 2025, Mar 2025, Lyon, France. ⟨10.23919/DATE64628.2025.10993202⟩. ⟨cea-05123535⟩
  • Nathan Claudet, Simon Perdrix. Local equivalence of stabilizer states: a graphical characterisation. STACS: 42nd International Symposium on Theoretical Aspects of Computer Science, Mar 2025, Jena, Germany. ⟨hal-04869503⟩
  • Omar Fawzi, Aadil Oufkir, Robert Salzmann. Optimal Fidelity Estimation from Binary Measurements for Discrete and Continuous Variable Systems. QIP 2025 - 28th International conference on Quantum Information Processing, Feb 2025, Raleigh (NC), United States. pp.1-48. ⟨hal-04840385⟩
  • Kun Fang, Hamza Fawzi, Omar Fawzi. Generalized quantum asymptotic equipartition. QIP 2025 - 28th Annual Quantum Information Processing Conference, Feb 2025, Raleigh Convention Center Raleigh, NC, United States. ⟨hal-04825342⟩
  • Matthias Christandl, Omar Fawzi, Ashutosh Goswami. Fault-tolerant quantum input/output. QIP 2025 - 28th Quantum Information Processing Conference, Feb 2025, Raleigh (NC), United States. pp.1-80. ⟨hal-04825338⟩
  • Clémence Chevignard, Pierre-Alain Fouque, André Schrottenloher. Reducing the Number of Qubits in Quantum Factoring. QIP 2025 - 28th Annual Conference on Quantum Information Processing, Feb 2025, Raleigh, North Carolina, United States. pp.1-4. ⟨hal-04848612⟩
  • Quentin Schmidt, Baptiste Jadot, Brian Martinez, Antoine Faurie, Tristan Meunier, et al.. 13.5 An 18.5µW/qubit cryo-CMOS charge-readout IC demonstrating QAM multiplexing for spin qubits. ISSCC 2025 - 2025 IEEE International Solid-State Circuits Conference, IEEE, Feb 2025, San Francisco, United States. pp.244-246, ⟨10.1109/ISSCC49661.2025.10904808⟩. ⟨hal-04981624⟩
  • Claudia Faggian, Gaetan Lopez, Benoît Valiron. A Rewriting Theory for Quantum λ-Calculus. CSL 2025 - 33rd EACSL Annual Conference on Computer Science Logic, Feb 2025, Amsterdam, Netherlands. pp.47:1--47:22, ⟨10.4230/LIPICS.CSL.2025.47⟩. ⟨hal-05006039⟩
  • Angela Riva, Alain Sarlette, Pierre Rouchon. Explicit formulas for adiabatic elimination with fast unitary dynamics. CDC 2024 - IEEE Conference on Decision and Control, IEEE-CSS, Dec 2024, Milan, Italy. ⟨hal-04530303⟩
  • Andrea Basso, Pierrick Dartois, Luca De Feo, Antonin Leroux, Luciano Maino, et al.. SQIsign2D-West The Fast, the Small, and the Safer. ASIACRYPT, Dec 2024, Kolkata, India. pp.339-370, ⟨10.1007/978-981-96-0891-1_11⟩. ⟨hal-04603556⟩
  • Maxime Bombar, Dung Bui, Geoffroy Couteau, Alain Couvreur, Clément Ducros, et al.. FOLEAGE: F 4 OLE-Based Multi-Party Computation for Boolean Circuits. ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Chung, K.M.; Sazaki, Y., Dec 2024, Kolkata, India. pp.69-101, ⟨10.1007/978-981-96-0938-3_3⟩. ⟨hal-04770551v2⟩
  • 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. Advances in Cryptology – ASIACRYPT 2024, Dec 2024, Kolkata, India. pp.304-338, ⟨10.1007/978-981-96-0891-1_10⟩. ⟨hal-04297088⟩
  • Clémence Chevignard, Pierre-Alain Fouque, André Schrottenloher. Reducing the Number of Qubits in Quantum Information Set Decoding. ASIACRYPT 2024 - International Conference on the Theory and Application of Cryptology and Information Security, Dec 2024, Kolkata, India. pp.1-36. ⟨hal-04823059⟩
  • Nicolas Aragon, Alain Couvreur, Victor Dyseryn, Philippe Gaborit, Adrien Vinçotte. MinRank Gabidulin Encryption Scheme on Matrix Codes. ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Chung, K.M.; Sasaki, Y, Dec 2024, KOLKATA, India. pp.68-100, ⟨10.1007/978-981-96-0894-2_3⟩. ⟨hal-04894346⟩
  • Jean-François Roux, Raphaël Pederiva, Thomas Vasselon, Clément Geffroy, P.-B. Vigneron, et al.. THz integrated optoelectronic circuits for material and electronic transport characterization. Opto-X-Nano, Prof. Kiwa, University of Okayama, Nov 2024, Okayama, Japan. ⟨hal-04750146⟩
  • Axel Muller, Alain Giorgetti, Metod Saniga, Colm Kelleher. Hypergraphs of linear systems over the two-element field and quantum contextuality proofs. Journées Graphes et Algorithmes, Nov 2024, Dijon, France. ⟨hal-05002639⟩
  • Benoît Vermersch. Probing many-body quantum states in large-scale experiments With an upgraded randomized measurements toolbox. French-Singaporean Quantum Symposia, Nov 2024, Singapore, Singapore. ⟨hal-04918365⟩
  • Grégoire Misguich, Liran Shirizly, Haggai Landa. Modeling noise in superconducting qubits: experiments on an IBM quantum processor and numerical simulations. Open Quantum Many-Body Physics 2024 (OpenQMB 2024), Andrea De Luca; Jacopo De Nardis; Zala Lenarcic; Marco Schirò, Oct 2024, Orsay, France. ⟨hal-05006591⟩
  • Benoît Valiron, Marc de Visme, Vitor Fernandes. Non-deterministic, probabilistic, and quantum effects through the lens of event structures. The 22nd Asian Symposium on Programming Languages and Systems, Oct 2024, Kyoto, Japan. ⟨hal-04744478⟩
  • Benoît Vermersch. Probing quantum states in large scale experiments with an upgraded randomized measurements toolbox. OPENQMBP2024 - Many Body Dynamics of Noisy Quantum Platforms, Oct 2024, Orsay, France. ⟨hal-04918408⟩
  • André Chailloux, Jean-Pierre Tillich. The Quantum Decoding Problem. Theory of Quantum Computation, Communication and Cryptography (TQC 2024), Sep 2024, Okinawa, Japan. pp.14, ⟨10.4230/LIPIcs.TQC.2024.6⟩. ⟨hal-04277154⟩
  • Kuo-Chin Chen, Simon Apers, Min-Hsiu Hsieh. (Quantum) complexity of testing signed graph clusterability. Theory of Quantum Computation, Communication and Cryptography (TQC 2024), Sep 2024, Okinawa, Japan. pp.1-16, ⟨10.4230/LIPIcs.TQC.2024.8⟩. ⟨hal-04516220⟩
  • Jung Hee Cheon, Hyeongmin Choe, Julien Devevey, Tim Güneysu, Dongyeon Hong, et al.. HAETAE: Shorter Lattice-Based Fiat-Shamir Signatures. Conference on Cryptographic Hardware and Embedded Systems - CHES2024, Sep 2024, Halifax, Canada. pp.25-75, ⟨10.46586/tches.v2024.i3.25-75⟩. ⟨hal-04909666⟩
  • Nina Bindel, Xavier Bonnetain, Marcel Tiepelt, Fernando Virdia. Quantum Lattice Enumeration in Limited Depth. Advances in Cryptology – CRYPTO 2024, Aug 2024, Santa Barbara, United States. pp.72-106, ⟨10.1007/978-3-031-68391-6_3⟩. ⟨hal-04827320⟩
  • Henry Bambury, Hugo Beguinet, Thomas Ricosset, Eric Sageloli. Polytopes in the Fiat-Shamir with Aborts Paradigm. Advances in Cryptology – CRYPTO 2024, Aug 2024, Santa Barbara, United States. pp.339-372, ⟨10.1007/978-3-031-68376-3_11⟩. ⟨hal-04688010⟩
  • Xavier Bonnetain, Rachelle Heim Boissier, Gaëtan Leurent, André Schrottenloher. Improving Generic Attacks Using Exceptional Functions. CRYPTO 2024 - 44th Annual International Cryptology Conference, Aug 2024, Santa Barbara, United States. pp.105-138, ⟨10.1007/978-3-031-68385-5_4⟩. ⟨hal-04724605⟩
  • 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⟩
  • Kostia Chardonnet, Louis Lemonnier, Benoît Valiron. Semantics for a Turing-Complete Reversible Programming Language with Inductive Types. FSCD 2024 - 9th International Conference on Formal Structures for Computation and Deduction, Jul 2024, Tallinn, Estonia. pp.19:1-19:19, ⟨10.4230/LIPIcs.FSCD.2024.19⟩. ⟨hal-04636603⟩
  • Alexandre Clément, Noé Delorme, Simon Perdrix. Minimal Equational Theories for Quantum Circuits. LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2024, Tallinn, Estonia. pp.1-14, ⟨10.1145/3661814.3662088⟩. ⟨hal-04399210⟩
  • Maxime Cautrès, Nathan Claudet, Mehdi Mhalla, Simon Perdrix, Valentin Savin, et al.. Vertex-Minor Universal Graphs for Generating Entangled Quantum Subsystems. ICALP 2024 51st EATCS International Colloquium on Automata, Languages and Programming, European Association for Theoretical Computer Science (EATCS), Jul 2024, Tallinn, Estonia. ⟨10.4230/LIPIcs.ICALP.2024.36⟩. ⟨hal-04632835⟩
  • James Hefford, Matt Wilson. A Profunctorial Semantics for Quantum Supermaps. LICS 2024 - 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2024, Tallinn, Estonia. pp.43, ⟨10.1145/3661814.3662123⟩. ⟨hal-04720947⟩
  • 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⟩
  • Damien Robert. On the efficient representation of isogenies. NUTMIC 2024 - Number-Theoretic Methods in Cryptology, Jun 2024, Szczecin, Poland. ⟨hal-04848010⟩
  • Thomas Debris-Alazard, Pouria Fallahpour, Damien Stehlé. Quantum Oblivious LWE Sampling and Insecurity of Standard Model Lattice-Based SNARKs. STOC 2024 - 56th Annual ACM Symposium on Theory of Computing, Jun 2024, Vancouver BC, Canada. pp.423-434, ⟨10.1145/3618260.3649766⟩. ⟨hal-04891122⟩
  • Yoann Piétri, Matteo Schiavon, Valentina Marulanda Acosta, Baptiste Gouraud, Luis Trigo Vidarte, et al.. QOSST: A Highly Modular Open Source Platform for Continuous Variable Quantum Key Distribution Applications. Quantum 2.0 Conference and Exhibition, Jun 2024, Rotterdam, Netherlands. pp.QTh4B.4, ⟨10.1364/QUANTUM.2024.QTh4B.4⟩. ⟨hal-04682106⟩
  • Nathan Claudet, Simon Perdrix. Covering a Graph with Minimal Local Sets. WG 2024: 50th International Workshop on Graph-Theoretic Concepts in Computer Science, Jun 2024, Gozd Martuljek, Slovenia. ⟨hal-04869465⟩
  • 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⟩
  • Léo Ackermann, Adeline Roux-Langlois, Alexandre Wallet. Public-Key Encryption from the Lattice Isomorphism Problem. WCC 2024 - The Thirteenth International Workshop on Coding and Cryptography, Jun 2024, Perugia, Italy. pp.1-11. ⟨hal-04924507⟩
  • Pierre Fraigniaud, Maël Luce, Frédéric Magniez, Ioan Todinca. Even-Cycle Detection in the Randomized and Quantum CONGEST Model. PODC '24: 43rd ACM Symposium on Principles of Distributed Computing, Jun 2024, Nantes France, France. pp.209-219, ⟨10.1145/3662158.3662767⟩. ⟨hal-04693567⟩
  • Axel Lemoine, Rocco Mora, Jean-Pierre Tillich. Understanding the new distinguisher of alternant codes at degree 2. WCC 2024 : Thirteenth International Workshop on Coding and Cryptography, Jun 2024, Perugia, Italy. ⟨hal-04953992⟩
  • 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⟩
  • 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⟩
  • Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix. On the Hardness of Analyzing Quantum Programs Quantitatively. ESOP 2024 - 33rd European Symposium on Programming, Apr 2024, Luxembourg, Luxembourg. pp.28, ⟨10.1007/978-3-031-57267-8_2⟩. ⟨hal-04349874⟩
  • Benoît Vermersch. Many-body entropies and entanglement from polynomially-many local measurements. Joint ICTP-WE Heraeus School and Conference on Frontiers at the Intersection of Quantum Simulation and Machine Learning, Apr 2024, Trieste (Italy), Italy. ⟨hal-04918350⟩
  • Benoît Vermersch. Robust universal quantum processors in spin systems via Walsh pulse sequences. College de France Workshop: Rydberg Atoms and Quantum Simulation, Apr 2024, Paris, France. ⟨hal-04918400⟩
  • Kévin Carrier, Valerian Hatey, Jean-Pierre Tillich. Projective Space Stern Decoding and Application to SDitH. AAC 2024 - Workshop on Advances in Asymmetric Cryptanalysis, Mar 2024, Abu Dabi, United Arab Emirates. pp.29-52, ⟨10.1007/978-3-031-61489-7_3⟩. ⟨hal-04519768v2⟩
  • Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart. Quantum Circuit Completeness: Extensions and Simplifications. International Conference on Computer Science Logic CSL 2024, Feb 2024, Naples, Italy. ⟨10.4230/LIPIcs.CSL.2024.20⟩. ⟨hal-04016498v3⟩
  • Louis Paletta, Anthony Leverrier, Alain Sarlette, Mazyar Mirrahimi, Christophe Vuillot. Robust sparse IQP sampling in constant depth. QIP2024, Jan 2024, Taipei, Taiwan. pp.1337, ⟨10.22331/q-2024-05-06-1337⟩. ⟨hal-04312163⟩
  • François-Marie Le Régent, Pierre Rouchon. Heisenberg formulation of adiabatic elimination for open quantum systems with two time-scales. 62nd IEEE Conference on Decision and Control, Dec 2023, Singapore, Singapore. ⟨hal-04379140⟩
  • Xuan-Thanh Do, Dang-Truong Mac, Quoc-Huy Vu. zk-SNARKs from Codes with Rank Metrics. 19th IMA International Conference on Cryptography and Coding, Dec 2023, London, United Kingdom. ⟨hal-04212679⟩
  • 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⟩
  • Maxime Bombar, Alain Couvreur, Thomas Debris-Alazard. Pseudorandomness of Decoding, Revisited: Adapting OHCP to Code-Based Cryptography. ASIACRYPT 2023, Guo, J.; Steinfeld, R., Dec 2023, Guang Zhou, China. pp.253-283, ⟨10.1007/978-981-99-8739-9_9⟩. ⟨hal-04308091⟩
  • 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, Guo, J.; Steinfeld, R., Dec 2023, Guangzhou, China. pp.3-38, ⟨10.1007/978-981-99-8730-6_1⟩. ⟨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⟩
  • Khashayar Barooti, Alex Bredariol Grilo, Loïs Huguenin-Dumittan, Giulio Malavolta, Or Sattath, et al.. Public-Key Encryption with Quantum Keys. Theory of Cryptography - 21st International Conference, {TCC} 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part {IV}, Nov 2023, Taipei (Taiwan), Taiwan. pp.198-227, ⟨10.1007/978-3-031-48624-1_8⟩. ⟨hal-04514071⟩
  • 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⟩
  • Céline Chevalier, Paul Hermouet, Quoc-Huy Vu. Semi-Quantum Copy-Protection and More. TCC 2023, Nov 2023, Taipei, Taiwan. ⟨hal-04205482v2⟩
  • Alastair A. Abbott, Mehdi Mhalla, Pierre Pocreau. Improving social welfare in non-cooperative games with different types of quantum resources. CEQIP 2023 - 18th Central European Quantum Information Processing Workshop, Sep 2023, Smolenice, Slovakia. pp.1-27, ⟨10.48550/arXiv.2211.01687⟩. ⟨hal-04283987⟩
  • Julien Du Crest, Francisco Garcia-Herrero, Mehdi Mhalla, Valentin Savin, Javier Valls. Layered decoding of quantum LDPC codes. ISTC 2023 - 12th International Symposium on Topics in Coding, Sep 2023, Brest, France. pp.1-5, ⟨10.1109/ISTC57237.2023.10273477⟩. ⟨hal-04757902⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • André Chailloux, Johanna Loyer. Classical and Quantum 3 and 4-Sieves to Solve SVP with Low Memory. PQCrypto 2023 - 14th International Conference on Post-Quantum Cryptography, Aug 2023, College Park, MD, United States. pp.225-255, ⟨10.1007/978-3-031-40003-2_9⟩. ⟨hal-04276492⟩
  • 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⟩
  • Alastair A. Abbott, Mehdi Mhalla, Pierre Pocreau. Quantum Query Complexity of Boolean Functions under Indefinite Causal Order. QPL2023, Jul 2023, Paris, France. ⟨10.48550/arXiv.2307.10285⟩. ⟨hal-04169582v2⟩
  • Benoît Vermersch. A Walsh functions toolbox for Hamiltonian and gate engineering in dipolar quantum systems. CATMIN III: Frontiers in Rydberg Physics-From few-body interactions to many-body quantum simulations, Jul 2023, London, United Kingdom. ⟨hal-04918359⟩
  • Titouan Carette, Etienne Moutot, Thomas Perez, Renaud Vilmart. Compositionality of planar perfect matchings. 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), Jul 2023, Paderborn, Germany. pp.120:1--120:17, ⟨10.4230/LIPIcs.ICALP.2023.120⟩. ⟨hal-04002282⟩
  • Vivien Vandaele, Simon Martiel, Simon Perdrix, Christophe Vuillot. Optimal Hadamard gate count for Clifford+T synthesis of Pauli rotations sequences. TQC 2023: 18th Theory of Quantum Computation, Communication and Cryptography, Jul 2023, Aveiro, Portugal. ⟨hal-04318278⟩
  • Pierre Clairambault, Simon Forest. The Cartesian Closed Bicategory of Thin Spans of Groupoids. 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175754⟩. ⟨hal-04244640⟩
  • Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron. A Complete Equational Theory for Quantum Circuits. 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175801⟩. ⟨hal-03926757⟩
  • Sander Gribling, Sven Polak, Lucas Slot. A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization. ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Jun 2023, Tromsø, Norway. pp.280-288, ⟨10.1145/3597066.3597075⟩. ⟨hal-04533765⟩
  • 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, France. ⟨hal-04276638⟩
  • Axel Muller, Metod Saniga, Alain Giorgetti, Henri de Boutray, Frédéric Holweck. Disclosing Quantum Contextuality: A Geometric Approach to N-Qubit Configurations. Slovenian Conference on Graph Theory, Jun 2023, Kranjska Gora, Slovenia. ⟨hal-04390495⟩
  • Lila Fontes, Sophie Laplante, Mathieu Laurière, Alexandre Nolin. The Communication Complexity of Functions with Large Outputs. Structural Information and Communication Complexity (SIROCCO 2023), Jun 2023, Alcala de Henares, Spain. pp.427-458, ⟨10.1007/978-3-031-32733-9_19⟩. ⟨hal-04533689⟩
  • Axel Muller. Décider la contextualité de configurations quantiques avec un solveur SAT. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2023, Rennes, France. ⟨hal-04390478⟩
  • Pierre Fraigniaud, Maël Luce, Ioan Todinca. On the Power of Threshold-Based Algorithms for Detecting Cycles in the CONGEST Model. Structural Information and Communication Complexity - 30th International Colloquium, SIROCCO 2023, Jun 2023, Alcalá de Henares, Spain. pp.459-481, ⟨10.1007/978-3-031-32733-9_20⟩. ⟨hal-04378920⟩
  • Samuel Bouaziz--Ermann, Alex Bredariol Grilo, Damien Vergnaud. Quantum security of subset cover problems. 4th Conference on Information-Theoretic Cryptography (ITC 2023), Jun 2023, Aahrus, Denmark. pp.9:1--9:17, ⟨10.4230/LIPIcs.ITC.2023.9⟩. ⟨hal-03832954⟩
  • Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart. Complete Graphical Language for Hermiticity-Preserving Superoperators. 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2023, Jun 2023, Boston, United States. pp.1-22, ⟨10.1109/LICS56636.2023.10175712⟩. ⟨hal-04001823⟩
  • 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⟩
  • 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⟩
  • Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier. A Strict Constrained Superposition Calculus for Graphs. FOSSACS 2023: 26th International Conference on Foundations of Software Science and Computation Structures, Apr 2023, Paris, France. ⟨hal-03978913v2⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Emmanuel Hainry, Romain Péchoux, Mário Silva. A programming language characterizing quantum polynomial time. Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27, 2023, Proceedings, Apr 2023, Paris, France. ⟨10.1007/978-3-031-30829-1\_8⟩. ⟨hal-04190385⟩
  • Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev. Type-safe Quantum Programming in Idris. ESOP 2023 - European Symposium on Programming, Apr 2023, Paris, France. pp.507-534, ⟨10.1007/978-3-031-30044-8_19⟩. ⟨hal-03519238⟩
  • 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⟩
  • Kostia Chardonnet, Alexis Saurin, Benoît Valiron. A Curry-Howard Correspondence for Linear, Reversible Computation. CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, Bartek Klin and Elaine Pimentel, Feb 2023, Varsovie (Warsaw), Poland. ⟨10.4230/LIPIcs.CSL.2023.13⟩. ⟨hal-04308283⟩
  • Renaud Vilmart. Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation. CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, Feb 2023, Warsaw, Poland. pp.36:1--36:17, ⟨10.4230/LIPIcs.CSL.2023.36⟩. ⟨hal-03654438v2⟩
  • Tony Metger, Omar Fawzi, David Sutter, Renato Renner. Generalised entropy accumulation. QIP 2023, Feb 2023, Ghent, Belgium. ⟨10.1109/FOCS54457.2022.00085⟩. ⟨hal-05038521⟩
  • Nouédyn Baspin, Omar Fawzi, Ala Shayeghi. A lower bound on the overhead of quantum error correction in low dimensions. QIP 2023, Feb 2023, Ghent, Belgium. ⟨hal-04023618⟩
  • Yihui Quek, Daniel Stilck França, Sumeet Khatri, Johannes Jakob Meyer, Jens Eisert. Exponentially tighter bounds on limitations of quantum error mitigation. QIP 2023, Feb 2023, Ghent, Belgium. ⟨hal-05040904⟩
  • Anthony Leverrier, Gilles Zémor. Efficient decoding up to a constant fraction of the code length for asymptotically good quantum codes. SODA 2023 - ACM-SIAM Symposium on Discrete Algorithms, Jan 2023, Florence, Italy. pp.1216-1244, ⟨10.1137/1.9781611977554.ch45⟩. ⟨hal-04022061⟩
  • Sourav Chakraborty, Anna Gál, Sophie Laplante, Rajat Mittal, Anupa Sunny. Certificate Games. 14th Innovations in Theoretical Computer Science Conference (ITCS 2023), Jan 2023, Cambridge (MA), United States. ⟨10.4230/LIPIcs.ITCS.2023.32⟩. ⟨hal-04533686⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Axel Muller, Metod Saniga, Alain Giorgetti, Henri de Boutray, Frédéric Holweck. Computer-assisted enumeration and classification of multi-qubit doilies. Journées Informatique Quantique (JIQ'22), Nov 2022, Paris, France. ⟨hal-03932840⟩
  • Alain Giorgetti, Axel Muller, Metod Saniga, Henri de Boutray, Frédéric Holweck. Computer-assisted enumeration of finite geometries related to quantum contextuality. Journée Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique, Nov 2022, Besançon, France. ⟨hal-04038651⟩
  • Tony Metger, Omar Fawzi, David Sutter, Renato Renner. Generalised entropy accumulation. 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), Oct 2022, Denver, United States. ⟨10.1109/FOCS54457.2022.00085⟩. ⟨hal-03750961⟩
  • Anthony Leverrier, Gilles Zémor. Quantum Tanner codes. FOCS 2022 - IEEE 63rd Annual Symposium on Foundations of Computer Science, Oct 2022, Denver, United States. pp.872-883, ⟨10.1109/FOCS54457.2022.00117⟩. ⟨hal-03926730⟩
  • Nicolas Heurtel, Shane Mansfield, Jean Senellart, Benoit Valiron. Simulation of Linear Optical Interferometers (Extended Abstract). 2022 IEEE International Conference on Quantum Computing and Engineering (QCE), Sep 2022, Broomfield, Colorado, United States. pp.577-581, ⟨10.1109/QCE53715.2022.00080⟩. ⟨hal-04504901⟩
  • Étienne Burle, Philippe Gaborit, Younes Hatri, Ayoub Otmani. Injective Rank Metric Trapdoor Functions with Homogeneous Errors. 29th International Conference, (SAC 2022), Selected Areas in Cryptography, Aug 2022, Windsor, Canada, Canada. pp.139-158, ⟨10.1007/978-3-031-58411-4_7⟩. ⟨hal-04986994⟩
  • Alexandre Clément, Simon Perdrix. Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-Calculus. MFCS 2022 - 47th International Symposium on Mathematical Foundations of Computer Science, Aug 2022, Vienne, Austria. ⟨10.4230/LIPIcs.MFCS.2022.36⟩. ⟨hal-03926639⟩
  • Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron. LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits. MFCS 2022 - 47th International Symposium on Mathematical Foundations of Computer Science, Aug 2022, Vienna, Austria. pp.35:1--35:16, ⟨10.4230/LIPIcs.MFCS.2022.35⟩. ⟨hal-03926660⟩
  • 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⟩
  • David Lubicz, Damien Robert. Fast change of level and applications to isogenies. ANTS 2022 - Fifteenth Algorithmic Number Theory Symposium, Aug 2022, Bristol, United Kingdom. pp.article n°7, ⟨10.1007/s40993-022-00407-9⟩. ⟨hal-03738315⟩
  • Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev. Quantum Expectation Transformers for Cost Analysis. Symposium on Logic In Computer Science LICS ’22, Aug 2022, Haifa, Israel. ⟨hal-03540366⟩
  • Emmanuel Jeandel, Simon Perdrix, Margarita Veshchezerova. Addition and Differentiation of ZX-Diagrams. 7th International Conference on Formal Structures for > Computation and Deduction (FSCD 2022), Aug 2022, Haifa (Israël), France. ⟨10.4230/LIPIcs.FSCD.2022.13⟩. ⟨hal-03886288⟩
  • 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⟩

Poster communications

  • Romain Calviac, Antoine Rouxel, Antoine Monmayrant, Olivier Gauthier-Lafaye, Alexandre Gauguet, et al.. Single-beam Bose-Einstein condensate source: a demonstration of optical grating and magnetic chip hybridization for onboard quantum sensors. 2025 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC), Jun 2025, Munich (Allemagne), Germany. ⟨hal-05137854⟩
  • Alessandra Dolmeta, Stefano Di Matteo, Emanuele Valea, Mikael Carmona, Antoine Loiseau, et al.. TYRCA: A RISC-V Tightly-coupled accelerator for Code-based Cryptography. RiscV Summit Europe, May 2025, Paris, France. 2025. ⟨cea-05123536⟩
  • Mikael Carmona, Stefano Di Matteo, Florent Lepin, Manuel Pezzin, Emanuele Valea, et al.. VASCO: ASIC test platform for hardware security research. DATE 2025 - Design, Automation and Test in Europe Conference | The European Event for Electronic System Design & Test, Mar 2025, Lyon, France. , 2025. ⟨cea-05026004⟩
  • Alessandra Dolmeta, Stefano Di Matteo, Emanuele Valea. Exploring Accelerator Integration with Core-V eXtention InterFace (CV-X-IF) for Kyber. RISC-V Summit Europe, Jun 2024, Munich, Germany. 2024. ⟨cea-04662976⟩

Proceedings

  • Alejandro Díaz-Caro. Towards a Computational Quantum Logic. 21st Conference on Computability in Europe, CiE 2025, Jul 2025, Lisbon, Portugal. Lecture Notes in Computer Science, 15764, Springer Nature Switzerland, pp.34-46, 2025, Lecture Notes in Computer Science, 978-3-031-95907-3. ⟨10.1007/978-3-031-95908-0_3⟩. ⟨hal-05129482⟩
  • Damien Robert, Nicolas Sarkis. Halving differential additions on Kummer lines. EUROCRYPT 2025, May 2025, Madrid, Spain. 15606 (VI), Springer Nature, pp.416-445, 2025, Lecture Notes in Computer Science, 978-3-031-91094-4. ⟨10.1007/978-3-031-91095-1_15⟩. ⟨hal-04724019v2⟩
  • Shane Mansfield, Benoît Valiron, Vladimir Zamdzhiev. Proceedings 20th International Conference on Quantum Physics and Logic. QPL 2023 - Quantum Physics and Logic, Electronic Proceedings in Theoretical Computer Science, 384, 2023, ⟨10.4204/EPTCS.384⟩. ⟨hal-04480804⟩
  • Julien Du Crest, Mehdi Mhalla, Valentin Savin. Stabilizer Inactivation for Message-Passing Decoding of Quantum LDPC Codes. 2022 IEEE Information Theory Workshop (ITW), Nov 2022, Mumbai, France. IEEE, pp.488-493, 2023, ⟨10.1109/itw54588.2022.9965902⟩. ⟨hal-04993679⟩
  • Wouter Rozendaal, Gilles Zémor. A Worst-Case Analysis of a Renormalisation Decoder for Kitaev’s Toric Code. 2023 IEEE International Symposium on Information Theory (ISIT), IEEE, pp.625-629, 2023, ⟨10.1109/ISIT54713.2023.10206724⟩. ⟨hal-04541603⟩

Book sections


Other publications

  • Alejandro Díaz-Caro, Gilles Dowek, Jean-Pierre Jouannaud. Proving Termination With CPO --Full Version. 2025. ⟨hal-05146299v2⟩
  • Arnaud Tisserand. Introduction to the Residue Number System (RNS). 2025. ⟨hal-04993595⟩

Preprints, Working Papers

  • Sebastian Faust, Loïc Masure, Elena Micheli, Hoang Hai Nguyen, Maximilian Orlt, et al.. IP Masking with Generic Security Guarantees under Minimum Assumptions, and Applications. 2025. ⟨lirmm-05119631⟩
  • Andreas Bluhm, Simon Höfer, Alex May, Mikka Stasiuk, Philip Verduyn Lunel, et al.. A complexity theory for non-local quantum computation. 2025. ⟨hal-05095776⟩
  • Kyrylo Gerashchenko, Rémi Rousseau, Léo Balembois, Himanshu Patange, Paul Manset, et al.. Probing the quantum motion of a macroscopic mechanical oscillator with a radio-frequency superconducting qubit. 2025. ⟨hal-05088558⟩
  • Jérôme Houdayer, Grégoire Misguich. TensorMixedStates: A Julia library for simulating pure and mixed quantum states using matrix product states. 2025. ⟨hal-04945872v2⟩
  • Paul Manset, José Palomo, Aurélien Schmitt, Kyrylo Gerashchenko, Rémi Rousseau, et al.. Hyperinductance based on stacked Josephson junctions. 2025. ⟨hal-05061673⟩
  • Yvan Le Borgne, Shrinidhi Teganahally Sridhara. Time-Space Tradeoffs in Searching for a Path in Welded Trees, Classically or Quantumly. 2025. ⟨hal-04685710v2⟩
  • Alain Couvreur, Rakhi Pratihar. Recursive decoding of binary rank Reed-Muller codes and Plotkin construction for matrix codes. 2025. ⟨hal-04915230v2⟩
  • Giuseppe Patera, Alessandro Pugliese. Avoided-crossings, degeneracies and Berry phases in the spectrum of quantum noise through analytic Bloch-Messiah decomposition. 2025. ⟨hal-05052777⟩
  • Yoann Piétri, Pierre-Enguerrand Verdier, Baptiste Lacour, Maxime Gautier, Heming Huang, et al.. Quantum Key Distribution with Efficient Post-Quantum Cryptography-Secured Trusted Node on a Quantum Network. 2025. ⟨hal-05043499⟩
  • Pierrick Gaudry, Julien Soumier, Pierre-Jean Spaenlehauer. Computing Isomorphisms between Products of Supersingular Elliptic Curves. 2025. ⟨hal-05009640⟩
  • Alicia Negre, Fabian Faulstich, Raehyun Kim, Thomas Ayral, Lin Lin, et al.. New perspectives on Density-Matrix Embedding Theory. 2025. ⟨hal-05007829⟩
  • Yuriel Núñez-Fernández, Maxime Debertolis, Serge Florens. Resolving space-time structures of quantum impurities with a numerically exact few-body algorithm. 2025. ⟨hal-05004383⟩
  • Anne Broadbent, Alex B. Grilo, Nagisa Hara, Arthur Mehta. A classical proof of quantum knowledge for multi-prover interactive proof systems. 2025. ⟨hal-04998853⟩
  • Alain Sarlette, Cyril Elouard, Pierre Rouchon. Confinement to deterministic manifolds and low-dimensional solution formulas for continuously measured quantum systems. 2025. ⟨hal-04994024⟩
  • Francesco Arzani, Robert I. Booth, Ulysse Chabaud. Can effective descriptions of bosonic systems be considered complete?. 2025. ⟨hal-04990688⟩
  • Jack Davis, Nicolas Fabre, Ulysse Chabaud. Identifying quantum resources in encoded computations. 2025. ⟨hal-04990702⟩
  • Paul-Louis Etienney, Rémi Robin, Pierre Rouchon. A posteriori error estimates for the Lindblad master equation. 2025. ⟨hal-04990411⟩
  • Rémi Robin, Pierre Rouchon, Lev-Arcady Sellem. Unconditionally stable time discretization of Lindblad master equations in infinite dimension using quantum channels. 2025. ⟨hal-04990415⟩
  • Pierrick Dartois, Jonathan Komada Eriksen, Tako Boris Fouotsa, Arthur Herlédan Le Merdy, Riccardo Invernizzi, et al.. PEGASIS: Practical Effective Class Group Action using 4-Dimensional Isogenies. 2025. ⟨hal-04987747⟩
  • Ugo Nzongani, Andrea Simonetto, Giuseppe Di Molfetta. Noisy-enhanced quantum search on complex networks. 2025. ⟨hal-04980488⟩
  • S Tiengo, R Eid, Thomas Bourdel. Three-body interactions in Rabi-coupled Bose gases: a perturbative approach. 2025. ⟨hal-05006058⟩
  • Arthur Herlédan Le Merdy, Benjamin Wesolowski. Unconditional foundations for supersingular isogeny-based cryptography. 2025. ⟨hal-04954150v2⟩
  • Magali Bardet, Alban Gilard. Computation of the Hilbert Series for the Support-Minors Modeling of the MinRank Problem. 2025. ⟨hal-04950980⟩
  • Kostia Chardonnet, Alexis Saurin, Benoît Valiron. A Curry-Howard Correspondence for Linear, Reversible Computation. 2025. ⟨hal-03747425v2⟩
  • Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart. The Many-Worlds Calculus. 2025. ⟨hal-03654190v3⟩
  • Alex B. Grilo, Ramis Movassagh. Quantum function secret sharing. 2025. ⟨hal-04925886⟩
  • Sudhir R. Ghorpade, Trygve Johnsen, Rati Ludhani, Rakhi Pratihar. Higher weight spectra and Betti numbers of Reed-Muller codes $RM_q(2,2)$. 2025. ⟨hal-04909589⟩
  • Lucien François, Eimear Byrne, Alain Couvreur. Decoding Algorithms for Tensor Codes. 2025. ⟨hal-04924921⟩
  • Alain Couvreur, Rakhi Pratihar. Decoding rank metric Reed-Muller codes. 2025. ⟨hal-04894097⟩
  • Vilasini Venkatesh, Roger Colbeck. The standard no-signalling constraints in Bell scenarios are neither sufficient nor necessary for preventing superluminal signalling with general interventions. 2025. ⟨hal-04913241⟩
  • Damien Robert. Fast pairings via biextensions and cubical arithmetic. 2024. ⟨hal-04848028⟩
  • Alain Couvreur, Rakhi Pratihar, Nihan Tanısalı, Ilaria Zappatore. On the structure of the Schur squares of Twisted Generalized Reed-Solomon codes and application to cryptanalysis. 2024. ⟨hal-04894232⟩
  • Sabrina Kunzweiler, Luciano Maino, Tomoki Moriya, Christophe Petit, Giacomo Pope, et al.. Radical 2-isogenies and cryptographic hash functions in dimensions 1, 2 and 3. 2024. ⟨hal-04837057⟩
  • Thiziri Aissaoui, Anil Murani, Raphaël Lescanne, Alain Sarlette. A cat qubit stabilization scheme using a voltage biased Josephson junction. 2024. ⟨hal-04887025⟩
  • Yijia Xu, Yixu Wang, Christophe Vuillot, Victor V. Albert. Letting the tiger out of its cage: bosonic coding without concatenation. 2024. ⟨hal-04808736⟩
  • Alexandre Guernut, Christophe Vuillot. Fault-Tolerant Constant-Depth Clifford Gates on Toric Codes. 2024. ⟨hal-04808742⟩
  • Majid Hassani, Santiago Scheiner, Matteo G. A. Paris, Damian Markham. Privacy in networks of quantum sensors. 2024. ⟨hal-04803645⟩
  • Laura dos Santos Martins, Nicolas Laurent-Puig, Ivan Šupić, Damian Markham, Eleni Diamanti. Experimental Sample-Efficient and Device-Independent GHZ State Certification. 2024. ⟨hal-04803638⟩
  • Éloi Descamps, Damian Markham. Noisy certification of continuous variables graph states. 2024. ⟨hal-04803634⟩
  • Luís Bugalho, Majid Hassani, Yasser Omar, Damian Markham. Private and Robust States for Distributed Quantum Sensing. 2024. ⟨hal-04803640⟩
  • Laura dos Santos Martins, Nicolas Laurent-Puig, Pascal Lefebvre, Simon Neves, Eleni Diamanti. Realizing a Compact, High-Fidelity, Telecom-Wavelength Source of Multipartite Entangled Photons. 2024. ⟨hal-04803780⟩
  • H. Huet, P. Ramesh, S. Wein, N. Coste, P. Hilaire, et al.. Deterministic and reconfigurable graph state generation with a single solid-state quantum emitter. 2024. ⟨hal-04797595⟩
  • N. Coste, D A Fioretto, S. Thomas, S. Wein, H. Ollivier, et al.. A deterministic and efficient source of frequency-polarization hyper-encoded photonic qubits. 2024. ⟨hal-04796957⟩
  • H. Huet, P. Ramesh, S. Wein, N. Coste, P. Hilaire, et al.. Deterministic and reconfigurable graph state generation with a single solid-state quantum emitter. 2024. ⟨hal-04796938⟩
  • André Chailloux, Jean-Pierre Tillich. Quantum advantage from soft decoders. 2024. ⟨hal-04903824⟩
  • Piotr Mitosek, Miriam Backens. An algebraic interpretation of Pauli flow, leading to faster flow-finding algorithms. 2024. ⟨hal-04894204⟩
  • Massimo Frigerio, Antoine Debray, Nicolas Treps, Mattia Walschaers. Simulability of non-classical continuous-variable quantum circuits. 2024. ⟨hal-04751975⟩
  • Bakhao Dioum, Virginia d'Auria, Giuseppe Patera. Hidden quantum correlations in cavity-based quantum optics. 2024. ⟨hal-04747328⟩
  • Raja Yehia, Yoann Piétri, Carlos Pascual-García, Pascal Lefebvre, Federico Centrone. Energetic Analysis of Emerging Quantum Communication Protocols. 2024. ⟨hal-04740054⟩
  • Pierre Guilmin, Pierre Rouchon, Antoine Tilloy. Parameters estimation by fitting correlation functions of continuous quantum measurement. 2024. ⟨hal-04887056⟩
  • Anne Broadbent, Alex B. Grilo, Supartha Podder, Jamie Sikora. The Role of piracy in quantum proofs. 2024. ⟨hal-04723179⟩
  • Damien Robert. The module action for isogeny based cryptography. 2024. ⟨hal-04848019⟩
  • Alain Couvreur, Gilles Zémor. Freiman's $3k-4$ Theorem for Function Fields. 2024. ⟨hal-04894119⟩
  • Frédéric Grosshans, Michał Horodecki, Mio Murao, Tomasz Młynik, Marco Túlio Quintino, et al.. Multicopy quantum state teleportation with application to storage and retrieval of quantum programs. 2024. ⟨hal-04704752⟩
  • Kun Zhang, Huijun Li, Jietai Jing, Nicolas Treps, Mattia Walschaers. Purification of Gaussian States by Photon Subtraction. 2024. ⟨hal-04696361⟩
  • Vojtěch Kala, Mattia Walschaers, Radim Filip, Petr Marek. Non-Gaussian state teleportation with a nonlinear feedforward. 2024. ⟨hal-04696371⟩
  • Masaaki Tokieda, Angela Riva. Time-Convolutionless Master Equation Applied to Adiabatic Elimination. 2024. ⟨hal-04887096⟩
  • Roman Edenhofer, Simon Apers. Directed st-connectivity with few paths is in quantum logspace. 2024. ⟨hal-04694992⟩
  • Simon Apers, Sander Gribling, Aaron Sidford. On computing approximate Lewis weights. 2024. ⟨hal-04694990⟩
  • Asad Raza, Jens Eisert, Alex B. Grilo. Complexity of geometrically local stoquastic Hamiltonians. 2024. ⟨hal-04659421⟩
  • Pierrick Dartois. Fast computation of 2-isogenies in dimension 4 and cryptographic applications. 2024. ⟨hal-04662137⟩
  • Matthieu Praquin, Vincent Lienhard, Anthony Giraudo, Aron Vanselow, Zaki Leghtas, et al.. Mixing of counterpropagating signals in a traveling-wave Josephson device. 2024. ⟨hal-04887032⟩
  • Eleni Diamanti, Alex B. Grilo, Adriano Innocenzi, Pascal Lefebvre, Verena Yacoub, et al.. A Practical Protocol for Quantum Oblivious Transfer from One-Way Functions. 2024. ⟨hal-04613780⟩
  • Uta Isabella Meyer, Ivan Šupić, Damian Markham, Frédéric Grosshans. Bell Nonlocality from Wigner Negativity in Qudit Systems. 2024. ⟨hal-04610059⟩
  • Bakhao Dioum, Virginia d'Auria, Alessandro Zavatta, Olivier Pfister, Giuseppe Patera. Universal quantum frequency comb measurements by spectral mode-matching. 2024. ⟨hal-04600554⟩
  • Yoann Piétri, Matteo Schiavon, Valentina Marulanda Acosta, Baptiste Gouraud, Luis Trigo Vidarte, et al.. QOSST: A Highly-Modular Open Source Platform for Experimental Continuous-Variable Quantum Key Distribution. 2024. ⟨hal-04563985v2⟩
  • Alex Bredariol Grilo, Elham Kashefi, Damian Markham, Michael de Oliveira. The power of shallow-depth Toffoli and qudit quantum circuits. 2024. ⟨hal-04564456⟩
  • Virgile Guemard. Lifts of quantum CSS codes. 2024. ⟨hal-05004984⟩
  • Niccolo Fonio, Giuseppe Di Molfetta, Pierre Sagaut. A Fully Quantum Algorithm for Hydrodynamic Lattice Gas Cellular Automata. 2024. ⟨hal-04543971⟩
  • Léo Colisson, Damian Markham, Raja Yehia. All graph state verification protocols are composably secure. 2024. ⟨hal-04519928⟩
  • Simon Apers, Sander Gribling. Quantum speedups for linear programming via interior point methods. 2024. ⟨hal-04292682⟩
  • Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon. Non-abelian Gauge-Invariant Cellular Automata. 2024. ⟨hal-02303064⟩
  • Matilde Baroni, Quoc-Huy Vu, Boris Bourdoncle, Eleni Diamanti, Damian Markham, et al.. Quantum bounds for compiled XOR games and $d$-outcome CHSH games. 2024. ⟨hal-04803631⟩
  • Alejandro Díaz-Caro, Emmanuel Hainry, Romain Péchoux, Mário Silva. A feasible and unitary quantum programming language. 2024. ⟨hal-04266203v3⟩
  • Emily Beatty, Daniel Stilck França. Order p quantum Wasserstein distances from couplings. 2024. ⟨hal-04479963⟩
  • Simon Apers, Laurent Miclo. Quantum walks, the discrete wave equation and Chebyshev polynomials. 2024. ⟨hal-04455089⟩
  • Dániel Szabó, Simon Apers. Holey graphs: very large Betti numbers are testable. 2024. ⟨hal-04516209⟩
  • Mischa Woods. Quantum Frequential Computing: a quadratic run time advantage for all algorithms. 2024. ⟨hal-04529846⟩
  • Beomgeun Cho, Minki Hhan, Taehyun Kim, Jeonghoon Lee, Yixin Shen. Does quantum lattice sieving require quantum RAM?. 2024. ⟨hal-04747841⟩
  • Kanat Abdukhalikov, Tushar Bag, Daniel Panario. Quantum Codes from Group Ring Codes. 2024. ⟨hal-04844287⟩
  • Amaury Pouly, Yixin Shen. Smoothing Parameter and Shortest Vector Problem on Random Lattices. 2024. ⟨hal-04823287⟩
  • Maarten Grothus, V. Vilasini. Characterizing Signalling: Connections between Causal Inference and Space-time Geometry. 2024. ⟨hal-04720646⟩
  • Tristan Le Roy-Deloison, Edwin Peter Lobo, Jef Pauwels, Stefano Pironio. Device-independent quantum key distribution based on routed Bell tests. 2024. ⟨hal-04595717⟩
  • V Vilasini, Mischa P Woods. A general quantum circuit framework for Extended Wigner's Friend Scenarios: logically and causally consistent reasoning without absolute measurement events. 2024. ⟨hal-04837301⟩
  • Robert Salzmann. Quantitative Quantum Zeno and Strong Damping Limits in Strong Topology. 2024. ⟨hal-04840639⟩
  • Tushar Bag, Hai Q Dinh, Daniel Panario. Some New Non-binary Quantum Codes from One-generator Quasi-cyclic Codes. 2024. ⟨hal-04843861⟩
  • 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⟩
  • Nathan Claudet, Mehdi Mhalla, Simon Perdrix. Small k-pairable states. 2023. ⟨hal-04320674⟩
  • William C Smith, Alvise Borgognoni, Marius Villiers, Erwan Roverc'H, José Palomo, et al.. Spectral signature of high-order photon processes mediated by Cooper-pair pairing. 2023. ⟨hal-04387016⟩
  • Simon Neves, Laura dos Santos Martins, Verena Yacoub, Pascal Lefebvre, Ivan Šupić, et al.. Experimental Certification of Quantum Transmission via Bell's Theorem. 2023. ⟨hal-04306760⟩
  • Damien Robert. The geometric interpretation of the Tate pairing and its applications. 2023. ⟨hal-04295743⟩
  • Aurel Page, Damien Robert. Introducing Clapoti(s): Evaluating the isogeny class group action in polynomial time. 2023. ⟨hal-04327451⟩
  • Kim Vallée, Pierre-Emmanuel Emeriau, Boris Bourdoncle, Adel Sohbi, Shane Mansfield, et al.. Corrected Bell and Noncontextuality Inequalities for Realistic Experiments. 2023. ⟨hal-04271961⟩
  • Léo Monbroussou, Jonas Landman, Alex Bredariol Grilo, Romain Kukla, Elham Kashefi. Trainability and Expressivity of Hamming-Weight Preserving Quantum Circuits for Machine Learning. 2023. ⟨hal-04225039⟩
  • Pablo Arrighi, Di Molfetta Giuseppe, Iván Márquez-Martín, Armando Pérez. Dirac equation as a quantum walk over the honeycomb and triangular lattices. 2023. ⟨hal-03594743⟩
  • Ulysse Réglade, Adrien Bocquet, Ronan Gautier, Antoine Marquet, Emanuele Albertinale, et al.. Quantum control of a cat-qubit with bit-flip times exceeding ten seconds. 2023. ⟨hal-04189479⟩
  • Gustavo Banegas, Valerie Gilchrist, Anaëlle Le Dévéhat, Benjamin Smith. Fast and Frobenius: Rational Isogeny Evaluation over Finite Fields. 2023. ⟨hal-04143067⟩
  • Lev-Arcady Sellem, Alain Sarlette, Zaki Leghtas, Mazyar Mirrahimi, Pierre Rouchon, et al.. A GKP qubit protected by dissipation in a high-impedance superconducting circuit driven by a microwave frequency comb. 2023. ⟨hal-04070996⟩
  • Pierrick Dartois, Antonin Leroux, Damien Robert, Benjamin Wesolowski. SQISignHD: New Dimensions in Cryptography. 2023. ⟨hal-04056062v2⟩
  • Alex Bredariol Grilo, Or Sattath, Quoc-Huy Vu. Encryption with Quantum Public Keys. 2023. ⟨hal-04022634⟩
  • Alice Pellet-Mary, Nam Tran. Reductions from module lattices to free module lattices. 2023. ⟨hal-04119912⟩
  • Ugo Nzongani, Julien Zylberman, Carlo-Elia Doncecchi, Armando Pérez, Fabrice Debbasch, et al.. Quantum circuits for discrete-time quantum walks with position-dependent coin operator. 2023. ⟨hal-03938358⟩
  • 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⟩
  • Timothée Goubault de Brugière, Simon Martiel, Christophe Vuillot. A graph-state based synthesis framework for Clifford isometries. 2022. ⟨hal-03902438⟩
  • Damien Robert, Abdoulaye Maiga. Computing the Canonical Lift of Genus 2 Curves in Odd Characteristics. 2022. ⟨hal-03738314⟩
  • Abdoulaye Maiga, Damien Robert. Towards computing canonical lifts of ordinary elliptic curves in medium characteristic. 2022. ⟨hal-03702658⟩
  • Mehdi Mhalla, Simon Perdrix, Luc Sanselme. Characterising Determinism in MBQCs involving Pauli Measurements. 2022. ⟨hal-04320656⟩

Reports

  • Bruno Blanchet, Charlie Jacomme. CryptoVerif: a Computationally-Sound Security Protocol Verifier. RR-9526, Inria. 2023, pp.194. ⟨hal-04253820⟩

HDR thesis

  • Benjamin Wesolowski. Random Walks in Number-theoretic Cryptology. Mathematics [math]. ENS Lyon, 2024. ⟨tel-04837478⟩

Lectures

  • Magali Bardet. Algebraic attacks for the rank decoding problem. École thématique. Journées Nationales de Calcul Formel, CIRM, Luminy, Marseille, France. 2024. ⟨hal-04986106⟩