Papers

2022

Lattice-Based SNARKs: Publicly Verifiable, Preprocessing, and Recursively Composable

Crypto
WP4 Building blocks for practical advanced protocols
Link to the paper, Link to the talk on Youtube
Paper in PDF

The Hidden Parallelepiped Is Back Again: Power Analysis Attacks on Falcon

Chapter of a book
WP3 Computational problems, cryptanalysis and basic tools
Link to the paper
Paper in PDF

Proof-of-possession for KEM certificates using verifiable generation

WP4 Building blocks for practical advanced protocols
Link to the paper
Paper in PDF

Mitaka: a simpler, parallelizable, maskable variant of Falcon

Eurocrypt
WP3 Computational problems, cryptanalysis and basic tools
Link to the paper, Link to the talk on Youtube
Paper in PDF

On the Lattice Isomorphism Problem, Quadratic Forms, Remarkable Lattices, and Cryptography

Eurocrypt
WP3 Computational problems, cryptanalysis and basic tools
Link to the paper, Link to the talk on Youtube
Paper in PDF

Batch-OT with Optimal Rate

Eurocrypt
WP4 Building blocks for practical advanced protocols
Link to the paper, Link to the talk on Youtube
Paper in PDF

An Algorithmic Reduction Theory for Binary Codes: LLL and more

WP3 Computational problems, cryptanalysis and basic tools
Link to the paper
Paper in PDF

BAT: Small and Fast KEM over NTRU Lattices

WP4 Building blocks for practical advanced protocols
Link to the paper
Paper in PDF

R-LWE-based distributed key generation and threshold decryption

WP4 Building blocks for practical advanced protocols
Link to the paper
Paper in PDF

2021

NTRU Fatigue: How Stretched is Overstretched?

Asiacrypt
WP3 Computational problems, cryptanalysis and basic tools
Link to the paper, Link to the talk on Youtube
Paper in PDF

Tight Adaptive Reprogramming in the QROM

Asiacrypt
WP4 Building blocks for practical advanced protocols
Link to the paper, Link to the talk on Youtube
Paper in PDF

On the hardness of the NTRU problem

Asiacrypt
WP3 Computational problems, cryptanalysis and basic tools
Link to the paper, Link to the talk on Youtube
Paper in PDF

A Hard Crystal - Implementing Dilithium on Reconfigurable Hardware

WP3 Computational problems, cryptanalysis and basic tools
Link to the paper
Paper in PDF

Lattice Attacks on NTRU and LWE: A History of Refinements

Chapter of a book
WP3 Computational problems, cryptanalysis and basic tools
Link to the chapter
Chapter in PDF

Acyclicity Programming for Sigma-Protocols

TCC
WP4 Building blocks for practical advanced protocols
Link to the paper, Link to the talk on Youtube
Paper in PDF

On the impossibility of Purely Algebraic Signatures

TCC
WP4 Building blocks for practical advanced protocols
Link to the paper, Link to the talk on Youtube
Paper in PDF

Faster Lattice-based KEMs via a Generic Fujisaki-Okamoto Transform Using Prefix Hashing

WP4 Building blocks for practical advanced protocols
Link to the paper
Paper in PDF

Tightly-Secure Authenticated Key Exchange, Revisited

Eurocrypt
WP4 Building blocks for practical advanced protocols
Link to the paper, Link to the talk on Youtube
Paper in PDF

Advanced Lattice Sieving on GPUs, with Tensor Cores

Eurocrypt
WP3 Computational problems, cryptanalysis and basic tools
Link to the paper, Link to the talk on Youtube
Paper in PDF

Post-Quantum Resistant E-Voting Scheme

WP5 Privacy-preserving protocols
Link to the paper
Paper in PDF

Shorter Lattice-based Zero-Knowledge Proofs for the Correctness of a Shuffle

WP5 Privacy-preserving protocols
Link to the paper
Paper in PDF

Towards Faster Polynomial-Time Lattice Reduction

Crypto
WP3 Computational problems, cryptanalysis and basic tools
Link to the paper, Link to the talk on Youtube
Paper in PDF

A Compressed Sigma-Protocol Theory for Lattices

Crypto
WP4 Building blocks for practical advanced protocols
Link to the paper, Link to the talk on Youtube
Paper in PDF

Authenticated Key-Exchange and Signatures with Tight Security in the Standard Model

Crypto
WP4 Building blocks for practical advanced protocols
Link to the paper, Link to the talk on Youtube
Paper in PDF

Compressing Proofs of k-Out-Of-n Partial Knowledge

Crypto
WP4 Building blocks for practical advanced protocols
Link to the paper, Link to the talk on Youtube
Paper in PDF