Manuel Bernardo Martins Barbosa
AuthID: R-000-A22
1
TITLE: Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt
AUTHORS: José 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;
PUBLISHED: 2025, SOURCE: 46th IEEE Symposium on Security and Privacy, SP 2025 in IEEE Symposium on Security and Privacy, SP 2025, San Francisco, CA, USA, May 12-15, 2025
AUTHORS: José 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;
PUBLISHED: 2025, SOURCE: 46th IEEE Symposium on Security and Privacy, SP 2025 in IEEE Symposium on Security and Privacy, SP 2025, San Francisco, CA, USA, May 12-15, 2025
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: DBLP
DBLP2
TITLE: Tempo: ML-KEM to PAKE Compiler Resilient to Timing Attacks
AUTHORS: Afonso Arriaga; Manuel Barbosa; Stanislaw Jarecki;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025
AUTHORS: Afonso Arriaga; Manuel Barbosa; Stanislaw Jarecki;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP3
TITLE: Privacy and Security of FIDO2 Revisited
AUTHORS: Manuel Barbosa; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível;
PUBLISHED: 2025, SOURCE: Proc. Priv. Enhancing Technol., VOLUME: 2025, ISSUE: 3
AUTHORS: Manuel Barbosa; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível;
PUBLISHED: 2025, SOURCE: Proc. Priv. Enhancing Technol., VOLUME: 2025, ISSUE: 3
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP