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

Partial Lattice Trapdoors: How to Split Lattice Trapdoors, Literally

Date:

December 8, 2025

2025

Publication:

ASIACRYPT 2025

2025

Author(s):

Martin Albrecht, Sasha Laphia, Russell Lai, Ivy Woo

Conference

Hybrid-Query Bounds with Partial Input Control – Framework and Application to Tight M-eTCR

Date:

December 8, 2025

2025

Publication:

ASIACRYPT 2025

2025

Author(s):

Andreas Huelsing, Mikhail Kudinov, Christian Majenz

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