Conference

Publications Library

Publishing our work allows us to share ideas and work collaboratively with the international academic and scientific community. Here is some of our work.

Conference

Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Code

Date:

September 14, 2025

2025

Publication:

TCHES25

2025

Author(s):

Santiago Arranz-Olmos, Gilles Barthe, Benjamin Grégoire, Jan Jancar, Vincent Laporte, Tiago Oliveira, Peter Schwabe

Conference

Post-Quantum Online/Offline Signatures

Date:

August 28, 2025

2025

Publication:

CT-RSA 2025

2025

Author(s):

Martin R. Albrecht, Nicolas Gama, James Howe, Anand Kumar Narayanan

Conference

Proving Faster Implementations Faster: Combining Deductive and Circuit-Based Reasoning in EasyCrypt

Date:

May 12, 2025

2025

Publication:

IEEE SnP 2025

2025

Author(s):

José Carlos Bacelar Almeida, Gustavo Xavier Delerue Marinho Alves, Manuel Barbosa, Gilles Barthe, Luís Esquível, Vincent Hwang, Tiago Oliveira, Hugo Pacheco, Peter Schwabe, Pierre-Yves Strub

Conference

Hollow LWE: A New Spin, Unbounded Updatable Encryption from LWE and PCE

Date:

May 4, 2025

2025

Publication:

EUROCRYPT 2025

2025

Author(s):

Martin R. Albrecht, Benjamin Benčina, Russell W. F. Lai,

Conference

Protecting Cryptographic Code Against Spectre-RSB

Date:

March 30, 2025

2025

Publication:

ASPLOS 2025

2025

Author(s):

Santiago Arranz Olmos, Gilles Barthe, Chitchanok Chuengsatiansup, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Peter Schwabe, Yuval Yarom, Zhiyuan Zhang

Conference

Post-Quantum Cryptographic Analysis of SSH

Date:

March 26, 2025

2025

Publication:

RWC 2025

2025

Author(s):

Benjamin Benčina, Benjamin Dowling, Varun Maram, Keita Xagawa

Conference

Field Experiments on Post-Quantum DNSSEC

Date:

March 25, 2025

2025

Publication:

RWC 2025

2025

Author(s):

Jason Goertzen, Carlos Aguilar Melchor, Shumon Huque ,Peter Thomassen, Nils Wisiol

Conference

(Un)breakable Curses – Re-Encryption in the Fujisaki-Okamoto Transform

Date:

February 21, 2025

2025

Publication:

EUROCRYPT 2025

2025

Author(s):

Kathrin Hövelmanns, Andreas Hülsing, Christian Majenz, Fabrizio Sisinni

Conference

Leakage-Free Probabilistic Jasmin Programs

Date:

January 20, 2025

2025

Publication:

CPP 2025

2025

Author(s):

José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh

Conference

A High Dimensional Cramer's Rule Connecting Homogeneous Multilinear Equations to Hyperdeterminants

Date:

January 7, 2025

2025

Publication:

ITCS - Innovations in Theoretical Computer Science

2025

Author(s):

Antoine Joux, Anand Kumar Narayanan

Conference

Revisiting Key Decomposition Techniques for FHE: Simpler, Faster and More Generic

Date:

December 9, 2024

2024

Publication:

ASIACRYPT 2024

2024

Author(s):

Mariya Georgieva Belorgey, Sergiu Carpov, Nicolas Gama, Sandra Guasch, Dimitar Jetchev

Conference

A Tight Security Proof for SPHINCS+, Formally Verified

Date:

December 9, 2024

2024

Publication:

ASIACRYPT 2024

2024

Author(s):

Manuel Barbosa, François Dupressoir, Andreas Hülsing, Matthias Meijers, and Pierre-Yves Strub

Conference

Verifiable Oblivious Pseudorandom Functions from Lattices: Practical-ish and Thresholdisable

Date:

December 9, 2024

2024

Publication:

ASIACRYPT 2024

2024

Author(s):

Martin R. Albrecht, Kamil Doruk Gur

Conference

TurboTLS: TLS Connection Establishment With 1 Less Round Trip

Date:

September 16, 2024

2024

Publication:

ESORICS 2024

2024

Author(s):

Carlos Aguilar-Melchor, Thomas Bailleux, Jason Goertzen, Adrien Guinet, David Joseph, Douglas Stebila

Conference

SDitH in Hardware

Date:

September 4, 2024

2024

Publication:

TCHES 2024

2024

Author(s):

Sanjay Deshpande, James Howe, Jakub Szefer, Dongze Yue

Conference

On Round Elimination for Special-Sound Multi-Round Identification and the Generality of the Hypercube for MPCitH

Date:

August 18, 2024

2024

Publication:

CRYPTO 2024

2024

Author(s):

Andreas Huelsing, David Joseph, Christian Majenz, Anand Narayanan

Conference

Quantum Lattice Enumeration in Limited Depth

Date:

August 18, 2024

2024

Publication:

CRYPTO 2024

2024

Author(s):

Nina Bindel, Xavier Bonnetain, Marcel Tiepelt, Fernando Virdia

Conference

Formally Verifying Kyber Episode V: Machine-checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt

Date:

August 18, 2024

2024

Publication:

CRYPTO 2024

2024

Author(s):

José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub

Conference

Crypto Dark Matter on the Torus: Oblivious PRFs from shallow PRFs and FHE

Date:

May 29, 2024

2024

Publication:

EUROCRYPT 2024

2024

Author(s):

Martin R. Albrecht, Alex Davidson, Amit Deo, Daniel Gardham

Conference

SLAP: Succinct Lattice-Based Polynomial Commitments from Standard Assumptions

Date:

May 29, 2024

2024

Publication:

EUROCRYPT 2024

2024

Author(s):

Martin R. Albrecht, Giacomo Fenzi, Oleksandra Lapiha, Ngoc Khanh Nguyen

Conference

Algorithms for Matrix Code and Alternating Trilinear Form Equivalences via New Isomorphism Invariants

Date:

May 29, 2024

2024

Publication:

EUROCRYPT 2024

2024

Author(s):

Anand Kumar Narayanan, Youming Qiao, Gang Tang

Conference

Batch Signatures, Revisited

Date:

May 6, 2024

2024

Publication:

CT-RSA 2024

2024

Author(s):

Carlos Aguilar-Melchor, Martin R. Albrecht, Thomas Bailleux, Nina Bindel, James Howe, Andreas Hülsing, David Joseph, Marc Manzano

Conference

Quantum CCA-Secure PKE, Revisited

Date:

April 14, 2024

2024

Publication:

PKC 2024

2024

Author(s):

Navid Alamati, Varun Maram

Conference

To Attest or Not to Attest, This is the Question – Provable Attestation in FIDO2

Date:

December 18, 2023

2023

Publication:

ASIACRYPT 2023

2023

Author(s):

Nina Bindel, Nicolas Gama, Sandra Guasch, Eyal Ronen

Conference

When Cryptography Needs a Hand: Practical Post-Quantum Authentication for V2V Communications

Date:

December 7, 2023

2023

Publication:

Network and Distributed Systems Security Symposium (NDSS) 2024

2023

Author(s):

Geoff Twardokus, Nina Bindel, Hanif Rahbari, Sarah McCarthy

Conference

SDitH in the QROM

Date:

December 4, 2023

2023

Publication:

ASIACRYPT 2023

2023

Author(s):

Carlos Aguilar-Melchor, Andreas Hülsing, David Joseph, Christian Majenz, Eyal Ronen, Dongze Yue

Conference

An ERF Analog for Discrete Gaussian Sampling

Date:

August 29, 2023

2023

Publication:

Mathcrypt 2023

2023

Author(s):

Nicolas Gama, Anand Kumar Narayanan, Ryder LiuLin, Dongze Yue

Conference

Benchmarking and Analysing the NIST PQC Finalist Lattice-Based Signature Schemes on the ARM Cortex M7

Date:

July 20, 2023

2023

Publication:

AfricaCrypt 2023

2023

Author(s):

James Howe and Bas Westerbaan

Conference

Falkor: Federated Learning Secure Aggregation Powered by AES-CTR GPU Implementation

Date:

June 6, 2023

2023

Publication:

WAHC 2023

2023

Author(s):

Mariya Georgieva Belorgey, Sofia Dandjee, Nicolas Gama, Dimitar Jetchev, Dmitry Mikushin

Conference

The Return of the SDitH

Date:

April 23, 2023

2023

Publication:

EUROCRYPT 2023

2023

Author(s):

Carlos Aguilar-Melchor, Nicolas Gama, James Howe, Andreas Hülsing, David Joseph, Dongze Yue

Conference

Towards Automating Cryptographic Hardware Implementations: A Case Study of HQC

Date:

October 20, 2022

2022

Publication:

CBCrypto 2022

2022

Author(s):

Carlos Aguilar-Melchor, Jean-Christophe Deneuville, Arnaud Dion, James Howe, Romain Malmain, Vincent Migliore, Mamuri Nawan, and Kashif Nawaz

Conference

Neural Distillation as a State Representation Bottleneck in Reinforcement Learning

Date:

October 5, 2022

2022

Publication:

1st Conference on Lifelong Learning Agents

2022

Author(s):

Valentin Guillet, Dennis G. Wilson, Carlos Aguilar Melchor, Emmanuel Rachelson

Conference

On Neural Consolidation for Transfer in Reinforcement Learning

Date:

October 5, 2022

2022

Publication:

IEEE Symposium on Adaptive Dynamic Programming and Reinforcement Learning

2022

Author(s):

Valentin Guillet, Dennis G. Wilson, Carlos Aguilar Melchor, Emmanuel Rachelson

Conference

Light the Signal: Optimization of Signal Leakage Attacks Against LWE-Based Key Exchange

Date:

September 25, 2022

2022

Publication:

European Symposium on Research in Computer Security

2022

Author(s):

Yue Qin, Ruoyu Ding, Chi Cheng, Nina Bindel, Yanbin Pan, Jintai Ding

Conference

Farasha: A Provable Permutation-Based Parallelizable PRF

Date:

September 5, 2022

2022

Publication:

SAC 2022

2022

Author(s):

Najwa Aaraj, Emanuele Bellin, Ravindra Jejurikar, Marc Manzano, Raghvendra Rohit, Eugenio Salazar

Conference

FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation

Date:

August 19, 2022

2022

Publication:

IEEE Symposium on Security and Privacy 2022

2022

Author(s):

Nina Bindel, Cas Cremers, Mang Zhao

Conference

Hybrid Decoding–Classical-Quantum Trade-Offs for Information Set Decoding

Date:

July 28, 2022

2022

Publication:

PQCrypto 2022

2022

Author(s):

Andre Esser, Sergi Ramos-Calderer, Emanuele Bellini, José I Latorre, Marc Manzano

Conference

LRPC Codes with Multiple Syndromes: Near Ideal-Size KEMs Without Ideals

Date:

June 23, 2022

2022

Publication:

PQCrypto 2022

2022

Author(s):

Carlos Aguilar Melchor, Nicolas Aragon, Victor Dyseryn, Philippe Gaborit, Gilles Zémor