Publications


918 documents

  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩

Powered by HAL logo