Publications


817 documents

  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Alejandro Díaz-Caro, Vladimir Zamdzhiev. Proceedings of QPL 2024. 21st International Conference on Quantum Physics and Logic, Jul 2024, Buenos Aires, Argentina. Electronic Proceedings in Theoretical Computer Science, 406, 2024, ⟨10.4204/EPTCS.406⟩. ⟨hal-05249986⟩
  • Luís Bugalho, Majid Hassani, Yasser Omar, Damian Markham. Private and Robust States for Distributed Quantum Sensing. Quantum, 2024, 9, pp.1596. ⟨10.22331/q-2025-01-15-1596⟩. ⟨hal-04803640⟩
  • Alastair A. Abbott, Mehdi Mhalla, Pierre Pocreau. Quantum query complexity of Boolean functions under indefinite causal order. Physical Review Research, 2024, 6 (3), pp.L032020. ⟨10.1103/PhysRevResearch.6.L032020⟩. ⟨hal-04672768⟩
  • Alrik Durand, Yoann Baron, Félix Cache, Tobias Herzig, Mario Khoury, et al.. Genuine and faux single G centers in carbon-implanted silicon. Physical Review B, 2024, 110, pp.L020102. ⟨10.1103/PhysRevB.110.L020102⟩. ⟨hal-04699426⟩
  • 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⟩
  • 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⟩

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