Conferences

Theses

Preprints

  • Schnorr Protocol in Jasmin (Josè Bacelar Almeida, Denis Firsov, Tiago Oliveira, and Dominique Unruh) [IACR, 2023]

  • High-assurance zeroization (Santiago Arranz Olmos, Gilles Barthe, Ruben Gonzalez, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Peter Schwabe) [IACR, 2023]