Publications


856 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⟩
  • Nesta van der Schaaf. Localic Relations with Open Cones. 2026. ⟨hal-05742616⟩
  • Nesta van der Schaaf. Localic Esakia Duality via Conic Frames. 2026. ⟨hal-05742626⟩
  • 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⟩
  • Clément Hérouard, Charlie Jacomme, Adrien Koutsos, Joseph Lallemand. Secrecy in Squirrel and the Post-Compromise Security of a Ratchet. 2026. ⟨hal-05740706⟩
  • Mário Silva, Alexandre Guernut, Marco Lewis. pfoqcompiler: Efficient Compilation of Quantum Control in Recursive First-Order Quantum Programs. 2026. ⟨hal-05738864⟩
  • Benoit Kaczmarczuk, Gabriel Ducasse, Louis Pagot, Quentin Beaufils, Franck Pereira dos Santos. Impact of Raman lasers beam profile inhomogeneities on a spaceborne quantum accelerometer. 2026. ⟨hal-05739371⟩
  • Shashank Kumar Ranu, Lewis Wooltorton, Alastair A. Abbott, Omar Fawzi. Randomness can be certified in energy-constrained semi-device-independent scenarios. 2026. ⟨hal-05734313⟩
  • Mary de Feudis, Boris Yavkin, Laura Henry, Kin On Ho, Marie-Pierre Adam, et al.. High-pressure high-temperature annealing of quantum nanodiamonds: in situ synchrotron investigation of nanoscale graphitization and optical quality. 36th International Conference on Diamond and Carbon Materials, Aug 2026, San Sebastian-Donostia, Spain. ⟨hal-05742225⟩

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