Manuel Barbosa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
46
Venues
18
Active years
2006–2025
Best venue rank
A*
Where they publish
Papers
46 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CCS | Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Lionel Blatter, Gustavo Xavier Delerue Marinho Alves, Joo Diogo Duarte, Benjamin Grgoire, Tiago Oliveira, Miguel Quaresma, Pierre-Yves Strub, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2025 | CCS | Formally Verified Correctness Bounds for Lattice-Based Cryptography. | Manuel Barbosa, Matthias J. Kannwischer, Thing-Han Lim, Peter Schwabe, Pierre-Yves Strub |
| 2025 | SP | Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt. | Jos Bacelar Almeida, Gustavo Xavier Delerue Marinho Alves, Manuel Barbosa, Gilles Barthe, Lus Esquvel, Vincent Hwang, Tiago Oliveira, Hugo Pacheco, Peter Schwabe, Pierre-Yves Strub |
| 2024 | ASIACRYPT | C'est Trs CHIC: A Compact Password-Authenticated Key Exchange from Lattice-Based KEM. | Afonso Arriaga, Manuel Barbosa, Stanislaw Jarecki, Marjan Skrobot |
| 2024 | ASIACRYPT | A Tight Security Proof for SPHINCS | Manuel Barbosa, Franois Dupressoir, Andreas Hlsing, Matthias Meijers, Pierre-Yves Strub |
| 2024 | CRYPTO | 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, Franois Dupressoir, Benjamin Grgoire, Vincent Laporte, Jean-Christophe Lchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub |
| 2024 | CRYPTO | Bare PAKE: Universally Composable Key Exchange from Just Passwords. | Manuel Barbosa, Kai Gellert, Julia Hesse, Stanislaw Jarecki |
| 2023 | CRYPTO | Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium. | Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grgoire, Yu-Hsuan Huang, Andreas Hlsing, Yi Lee, Xiaodi Wu |
| 2023 | CRYPTO | Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $. | Manuel Barbosa, Franois Dupressoir, Benjamin Grgoire, Andreas Hlsing, Matthias Meijers, Pierre-Yves Strub |
| 2023 | PADL | Execution Time Program Verification with Tight Bounds. | Ana Carolina Silva, Manuel Barbosa, Mrio Florido |
| 2021 | ASIACRYPT | Algebraic Adversaries in the Universal Composability Framework. | Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu |
| 2021 | CCS | 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, Stphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira |
| 2021 | CCS | EasyPQC: Verifying Post-Quantum Cryptography. | Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grgoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou |
| 2021 | CCS | Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. | Manuel Barbosa, Gilles Barthe, Benjamin Grgoire, Adrien Koutsos, Pierre-Yves Strub |
| 2021 | CRYPTO | Provable Security Analysis of FIDO2. | Manuel Barbosa, Alexandra Boldyreva, Shan Chen, Bogdan Warinschi |
| 2021 | ICDCN | Secure Conflict-free Replicated Data Types. | Manuel Barbosa, Bernardo Ferreira, Joo C. Marques, Bernardo Portela, Nuno M. Preguia |
| 2021 | SP | SoK: Computer-Aided Cryptography. | Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno |
| 2021 | SRDS | CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes. | Rogrio Pontes, Bernardo Portela, Manuel Barbosa, Ricardo Vilaa |
| 2020 | CRYPTO | Universally Composable Relaxed Password Authenticated Key Exchange. | Michel Abdalla, Manuel Barbosa, Tatiana Bradley, Stanislaw Jarecki, Jonathan Katz, Jiayu Xu |
| 2020 | INDOCRYPT | Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Vincent Laporte, Tiago Oliveira |
| 2020 | SP | The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grgoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub |
| 2019 | CCS | Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. | Jos Bacelar Almeida, Ccile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, Franois Dupressoir, Benjamin Grgoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub |
| 2019 | CCS | A Machine-Checked Proof of Security for AWS Key Management Service. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grgoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran |
| 2018 | CRYPTO | Indifferentiable Authenticated Encryption. | Manuel Barbosa, Pooya Farshim |
| 2017 | CCS | Jasmin: High-Assurance and High-Speed Cryptography. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grgoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub |
| 2017 | CCS | A Fast and Verified Software Stack for Secure Function Evaluation. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Franois Dupressoir, Benjamin Grgoire, Vincent Laporte, Vitor Pereira |
| 2017 | EDCC | SAFETHINGS: Data Security by Design in the IoT. | Manuel Barbosa, Sonia Ben Mokhtar, Pascal Felber, Francisco Maia, Miguel Matos, Rui Oliveira, Etienne Rivire, Valerio Schiavoni, Spyros Voulgaris |
| 2017 | ESORICS | Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data. | Manuel Barbosa, Dario Catalano, Dario Fiore |
| 2017 | FC | Secure Multiparty Computation from SGX. | Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi |
| 2017 | SAC | Performance trade-offs on a secure multi-party relational database. | Rogerio Pontes, Mrio Pinto, Manuel Barbosa, Ricardo Vilaa, Miguel Matos, Rui Oliveira |
| 2016 | FSE | Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Franois Dupressoir |
| 2016 | INDOCRYPT | Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation. | Afonso Arriaga, Manuel Barbosa, Pooya Farshim |
| 2015 | SP | ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data. | Michael Backes, Manuel Barbosa, Dario Fiore, Raphael M. Reischuk |
| 2014 | FSE | The Related-Key Analysis of Feistel Constructions. | Manuel Barbosa, Pooya Farshim |
| 2013 | CCS | Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Franois Dupressoir |
| 2013 | PKC | On the Semantic Security of Functional Encryption Schemes. | Manuel Barbosa, Pooya Farshim |
| 2012 | ACNS | On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification. | Afonso Arriaga, Manuel Barbosa, Pooya Farshim |
| 2012 | CCS | Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. | Jos Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella-Bguelin |
| 2012 | CIKM | Generically extending anonymization algorithms to deal with successive queries. | Manuel Barbosa, Alexandre Pinto, Bruno Gomes |
| 2010 | ACISP | Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles. | Manuel Barbosa, Pooya Farshim |
| 2010 | ACISP | Strong Knowledge Extractors for Public-Key Encryption Schemes. | Manuel Barbosa, Pooya Farshim |
| 2010 | ESORICS | A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. | Jos Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider |
| 2009 | FMICS | Verifying Cryptographic Software Correctness with Respect to Reference Implementations. | Jos Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Brbara Vieira |
| 2008 | ACISP | Secure Biometric Authentication with Improved Accuracy. | Manuel Barbosa, Thierry Brouard, Stphane Cauchie, Simo Melo de Sousa |
| 2008 | CCS | Certificateless signcryption. | Manuel Barbosa, Pooya Farshim |
| 2006 | INDOCRYPT | Secure Cryptographic Workflow in the Standard Model. | Manuel Barbosa, Pooya Farshim |