Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Confirmed Publications: 119



11
TITLE: X-Wing
AUTHORS: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte ; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLISHED: 2024, SOURCE: IACR Commun. Cryptol., VOLUME: 1, ISSUE: 1
INDEXED IN: DBLP CrossRef: 7
IN MY: ORCID | DBLP
12
TITLE: X-Wing: The Hybrid KEM You've Been Looking For
AUTHORS: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024
INDEXED IN: DBLP
IN MY: DBLP
13
TITLE: Execution Time Program Verification with Tight Bounds
AUTHORS: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
14
TITLE: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID | DBLP | CIÊNCIAVITAE
15
TITLE: Formally verifying Kyber Episode IV: Implementation correctness. Episode IV: Implementation correctness
AUTHORS: 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;
PUBLISHED: 2023, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
16
TITLE: Kyber terminates
AUTHORS: Manuel Barbosa ; Peter Schwabe;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023
INDEXED IN: DBLP
IN MY: DBLP
17
TITLE: Machine-Checked Security for XMSS as in RFC 8391 and SPHINCS+
AUTHORS: Barbosa, Manuel ; Dupressoir, Francois; Gregoire, Benjamin; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
18
TITLE: Machine-Checked Security for $$\textrm{XMSS} $$ as in RFC 8391 and $$\mathrm {SPHINCS^{+}} $$
AUTHORS: Manuel Barbosa ; François Dupressoir; Benjamin Grégoire; Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Advances in Cryptology – CRYPTO 2023
INDEXED IN: CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
19
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
20
TITLE: Rogue key and impersonation attacks on FIDO2: From theory to practice
AUTHORS: Barbosa, Manuel ; Cirne, Andre ; Esquivel, Luis ;
PUBLISHED: 2023, SOURCE: 18th International Conference on Availability, Reliability and Security (ARES) in 18TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY & SECURITY, ARES 2023
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 2 of 12. Total results: 119.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service