Miguel Quaresma

According to our database, Miguel Quaresma authored at least 5 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt.

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

IACR Cryptol. ePrint Arch., 2024

SWOOSH: Efficient Lattice-Based Non-Interactive Key Exchange.

Phillip Gajland, Bor de Kock, Miguel Quaresma, Giulio Malavolta, Peter Schwabe

Proceedings of the 33rd USENIX Security Symposium, 2024

2023

Formally verifying Kyber Episode IV: Implementation correctness.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023

Swoosh: Practical Lattice-Based Non-Interactive Key Exchange.

Phillip Gajland, Bor de Kock, Miguel Quaresma, Giulio Malavolta, Peter Schwabe

IACR Cryptol. ePrint Arch., 2023

Formally verifying Kyber Part I: Implementation Correctness.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub

IACR Cryptol. ePrint Arch., 2023