Manuel Barbosa
Universidade do Porto
H-index: 28
Europe-Portugal
Top articles of Manuel Barbosa
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
C'est très CHIC: A compact password-authenticated key exchange from lattice-based KEM | Cryptology ePrint Archive | Afonso Arriaga Manuel Barbosa Stanislaw Jarecki Marjan Skrobot | 2024 |
Bare PAKE: Universally Composable Key Exchange from just Passwords | Cryptology ePrint Archive | Manuel Barbosa Kai Gellert Julia Hesse Stanislaw Jarecki | 2024 |
X-wing: The hybrid kem you’ve been looking for | Cryptology ePrint Archive | Manuel Barbosa Deirdre Connolly João Diogo Duarte Aaron Kaiser Peter Schwabe | 2024 |
Machine-Checked Security for as in RFC 8391 and | Manuel Barbosa François Dupressoir Benjamin Grégoire Andreas Hülsing Matthias Meijers | 2023/8/9 | |
Formally verifying Kyber episode IV: implementation correctness | Cryptology ePrint Archive | José Bacelar Almeida Manuel Barbosa Gilles Barthe Benjamin Grégoire Vincent Laporte | 2023 |
Fixing and mechanizing the security proof of Fiat-Shamir with aborts and Dilithium | Manuel Barbosa Gilles Barthe Christian Doczkal Jelle Don Serge Fehr | 2023/8/9 | |
Execution Time Program Verification with Tight Bounds | Ana Carolina Silva Manuel Barbosa Mário Florido | 2023/1/8 | |
Formally verifying Kyber Part I: Implementation Correctness | Hugo Pereira Pacheco Manuel Barbosa José Bacelar Almeida | 2023 | |
The security of Kyber's FO-transform | Manuel Barbosa | 2023 | |
Rogue key and impersonation attacks on FIDO2: From theory to practice | Manuel Barbosa André Cirne Luís Esquível | 2023/8/29 | |
Kyber terminates | Cryptology ePrint Archive | Manuel Barbosa Peter Schwabe | 2023 |
A formal treatment of the role of verified compilers in secure computation | Journal of Logical and Algebraic Methods in Programming | José Carlos Bacelar Almeida Manuel Barbosa Gilles Barthe Hugo Pacheco Vitor Pereira | 2022/2/1 |
CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes | Rogério Pontes Bernardo Portela Manuel Barbosa Ricardo Vilaça | 2021/9/20 | |
Provable security analysis of FIDO2 | Manuel Barbosa Alexandra Boldyreva Shan Chen Bogdan Warinschi | 2021 | |
SoK: Computer-aided cryptography | Manuel Barbosa Gilles Barthe Karthik Bhargavan Bruno Blanchet Cas Cremers | 2021/5/24 | |
Secure conflict-free replicated data types | Manuel Barbosa Bernardo Ferreira João Marques Bernardo Portela Nuno Preguiça | 2021/1/5 | |
EasyPQC: Verifying post-quantum cryptography | Manuel Barbosa Gilles Barthe Xiong Fan Benjamin Grégoire Shih-Han Hung | 2021/11/12 | |
Algebraic adversaries in the universal composability framework | Michel Abdalla Manuel Barbosa Jonathan Katz Julian Loss Jiayu Xu | 2021 | |
Machine-checked ZKP for NP relations: Formally verified security proofs and implementations of MPC-in-the-head | José Bacelar Almeida Manuel Barbosa Manuel L Correia Karim Eldefrawy Stéphane Graham-Lengrand | 2021/11/12 | |
Mechanized proofs of adversarial complexity and application to universal composability | Manuel Barbosa Gilles Barthe Benjamin Grégoire Adrien Koutsos Pierre-Yves Strub | 2021/11/12 |