Publications


843 documents

  • David Baelde, Antoine Dallon, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos. Robust Logical Foundations for Mechanizing Post-Quantum Cryptography in Squirrel. CCS 2026 - ACM Conference on Computer and Communications Security, Nov 2026, The Hague, Netherlands. ⟨hal-05595035v3⟩
  • R. Chembra Vasudevan, A. Hammouti, J. Le Pouliquen, T. Batte, P. Pirasteh, et al.. Scalable fabrication of diamond-on-silica heterostructures via high-selectivity deep ICP-RIE and room-temperature bonding. Diamond and Related Materials, 2026, 168, pp.113992. ⟨10.1016/j.diamond.2026.113992⟩. ⟨hal-05722973⟩
  • Alexandre Ortega, Brice Colombier, Lilian Bossuet. Low-area ROM-Centric Hardware Implementation of the FALCON Discrete Half-Gaussian Sampler. International Conference on Field-Programmable Logic and Applications, Sep 2026, Ghent ( Online ), Belgium. ⟨hal-05674822⟩
  • Shashank Kumar Ranu, Lewis Wooltorton, Alastair A. Abbott, Omar Fawzi. Randomness can be certified in energy-constrained semi-device-independent scenarios. 2026. ⟨hal-05734313⟩
  • Tejas Acharya, Loïc Lanco, Olivier Krebs, Hui Khoon Ng, Alexia Auffèves, et al.. Hamiltonian benchmark of a solid-state spin-photon interface for computation. Physical Review B, 2026, 114 (11), pp.115306. ⟨10.1103/x983-pznx⟩. ⟨hal-05731833⟩
  • Maxime Pesche, Diego Lancheros Naranjo, Rayan Si-Ahmed, Gabriel Ducasse, Franck Pereira dos Santos, et al.. Impact of light shift inhomogeneities on the contrast of light pulse atom interferometers. 2026. ⟨hal-05722097⟩
  • Alex May, Philip Verduyn Lunel. Quantum gate lower bounds for loss-tolerant position verification. 2026. ⟨hal-05721425⟩
  • Aurel Page, Damien Robert, Julien Soumier. On the conversion of module representations for higher dimensional supersingular isogenies. CRYPTO 2026 - 46th Annual International Cryptology Conference, Aug 2026, Santa Barbara, United States. ⟨hal-05730169⟩
  • V. Vilasini, Lin-Qing Chen, Liuhang Ye, Renato Renner. Events and their Localisation are Relative to a Lab. QPL 2026, University of Amsterdam, Aug 2026, Amsterdam, Netherlands. ⟨hal-05273949⟩
  • Carla Ferradini, Giulia Mazzola, V. Vilasini. Emergent causal order and time direction: bridging causal models and tensor networks. QPL 2026, University of Amsterdam, Aug 2026, Amsterdam, Netherlands. ⟨hal-05625828⟩

Powered by HAL logo