Publications

817 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-05595035⟩
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⟩
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⟩
Maarten Grothus, V Vilasini. Impossibility of superluminal signalling rules out causal loops in conical spacetimes. QLP 2026 - 23rd International Conference on Quantum Physics and Logic, Aug 2026, Amsterdam, Netherlands. ⟨hal-05640293⟩
Kostia Chardonnet, Jules Chouquet, Axel Kerinec. Approximation theory for distant Bang calculus. FSCD 2026 - 11th International Conference on Formal Structures for Computation and Deduction, Jul 2026, Lisbonne, Portugal. ⟨hal-05518907v3⟩
Gustavo Banegas, Vredendaal Christine Van, Kim Youngbeom, Seo Seog Chung. Low-Stack HAETAE for Memory-Constrained Microcontrollers. 2026. ⟨hal-05580456v3⟩
Renaud Vilmart. A Unique Normal Form for Tensor Trains over Arbitrary Fields. 2026. ⟨hal-05683915⟩
Tigran Sedrakyan, Frédéric Grosshans, Elham Kashefi. Private training in quantum machine learning. 2026. ⟨hal-05681512⟩
Renaud Vilmart, Sunheang Ty, Chetra Mang. Resource-Efficient Synthesis of Sparse Quantum States. 2026. ⟨hal-05210973v2⟩