Publications


817 documents

  • Pablo Arrighi, Christopher Cedzich, Marin Costes, Ulysse Rémond, Benoît Valiron. Addressable quantum gates. ACM Transactions on Quantum Computing, 2023, 4 (3), pp.1-41. ⟨10.1145/3581760⟩. ⟨hal-03936367⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Emmanuel Hainry, Romain Péchoux, Mário Silva. A programming language characterizing quantum polynomial time. FOSSACS 2023 - 26th International Conference on Foundations of Software Science and Computational Structures, Orna Kupferman; Pawel Sobocinski, Apr 2023, Paris, France. pp.156-175, ⟨10.1007/978-3-031-30829-1_8⟩. ⟨hal-03895081v3⟩
  • 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⟩
  • Thomas Ehrhard. A coherent differential PCF. Logical Methods in Computer Science, 2023, Volume 19, Issue 4, ⟨10.46298/lmcs-19(4:7)2023⟩. ⟨hal-03661536v3⟩
  • N. Coste, D. Fioretto, N. Belabas, S. Wein, P. Hilaire, et al.. High-rate entanglement between a semiconductor spin and indistinguishable photons. Nature Photonics, 2023, 17, pp.582-587. ⟨10.1038/s41566-023-01186-0⟩. ⟨hal-04071020⟩

Documents récupérés de l'archive ouverte HAL logo