Publications


817 documents

  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Damien Robert, Abdoulaye Maiga. Computing the Canonical Lift of Genus 2 Curves in Odd Characteristics. 2022. ⟨hal-03738314⟩
  • Antoine Hilberer, Loïc Toraille, Baptiste Vindolet, Cassandra Dailledouze, Liam Hanlon, et al.. Quantum Diamond Magnetometry for High Pressure Superconductivity. Research at High Pressure (GRC), Jul 2022, Holderness, United States. ⟨hal-04443861⟩
  • Anthony Leverrier, Simon Apers, Christophe Vuillot. Quantum XYZ Product Codes. Quantum, 2022, 6, pp.766. ⟨10.22331/q-2022-07-14-766⟩. ⟨hal-03108325⟩
  • D.P. Nadlinger, P. Drmota, B.C. Nichol, G. Araneda, D. Main, et al.. Experimental quantum key distribution certified by Bell's theorem. Nature, 2022, 607 (7920), pp.682-686. ⟨10.1038/s41586-022-04941-5⟩. ⟨hal-03762988⟩
  • Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani. Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude. The 34th International Conference on Software Engineering and Knowledge Engineering, Jul 2022, Pittsburgh, United States. pp.382-387, ⟨10.18293/SEKE2022-097⟩. ⟨hal-05605517⟩
  • Pablo Arnault. Clifford algebra from quantum automata and unitary Wilson fermions. Physical Review A, 2022, 106, pp.012201. ⟨10.1103/PhysRevA.106.012201⟩. ⟨hal-03577279⟩

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