Manuel Bernardo Martins Barbosa
AuthID: R-000-A22
1
TITLE: Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTHORS: 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;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference, CRYPTO 2024 in Advances in Cryptology - CRYPTO 2024 - 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part II, VOLUME: 14921
AUTHORS: 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;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference, CRYPTO 2024 in Advances in Cryptology - CRYPTO 2024 - 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part II, VOLUME: 14921
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: DBLP
DBLP2
TITLE: A Tight Security Proof for $\mathrm{SPHINCS^{+}}$, Formally Verified
AUTHORS: Manuel Barbosa; François Dupressoir; Andreas Hülsing; Matthias Meijers; Pierre Yves Strub;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024
AUTHORS: Manuel Barbosa; François Dupressoir; Andreas Hülsing; Matthias Meijers; Pierre Yves Strub;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP