Publications

861 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⟩
Alexander Frei, Sascha Zakaib-Bernier, Zachary Mann, Michael Vasmer, Victor V. Albert. Chutes and Ladders: Dynamical Automorphisms via the ZX-Calculus. 2026. ⟨hal-05750045⟩
Sylvain Massabeau, Amr Abdelsamie, Florian Godel, Filip Miljevic, Noela Rezi, et al.. Phonon-tunable THz magnonic emission in multiferroic heterostructures. 2026. ⟨hal-05749448⟩
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⟩
Clément Hérouard, Charlie Jacomme, Adrien Koutsos, Joseph Lallemand. Secrecy in Squirrel and the Post-Compromise Security of a Ratchet. 2026. ⟨hal-05740706⟩
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⟩
Benoît Valiron, Renaud Vilmart, Adham Zekri. An Elementary Description of the Oracle of Efficient Sparse Matrices. ICTCS 2026 - 27th Italian Conference on Theoretical Computer Science, Sep 2026, Udine, Italy. ⟨hal-05752699⟩
Mário Silva, Alexandre Guernut, Marco Lewis. pfoqcompiler: Efficient Compilation of Quantum Control in Recursive First-Order Quantum Programs. 2026. ⟨hal-05738864⟩