Manuel Barbosa

133 papers A* 18A 5B 6C 6Misc 9Journal 70Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
Completing the Chain: Verified Implementations of Hash-Based Signatures and Their Security.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, François Dupressoir, Rui Fernandes, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub
2025 A* conf
Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt.
SP
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
2025 J jnl
Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt.
IACR Cryptol. ePrint Arch.
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
2025 A* conf
Formally Verified Correctness Bounds for Lattice-Based Cryptography.
CCS
Manuel Barbosa, Matthias J. Kannwischer, Thing-Han Lim, Peter Schwabe, Pierre-Yves Strub
2025 J jnl
Formally Verified Correctness Bounds for Lattice-Based Cryptography.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Matthias J. Kannwischer, Thing-Han Lim, Peter Schwabe, Pierre-Yves Strub
2025 A* conf
Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs.
CCS
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Lionel Blatter, Gustavo Xavier Delerue Marinho Alves, João Diogo Duarte, Benjamin Grégoire, Tiago Oliveira, Miguel Quaresma, Pierre-Yves Strub, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2025 J jnl
NoIC: PAKE from KEM without Ideal Ciphers.
IACR Cryptol. ePrint Arch.
Afonso Arriaga, Manuel Barbosa, Stanislaw Jarecki
2025 J jnl
Privacy and Security of FIDO2 Revisited.
Proc. Priv. Enhancing Technol.
Manuel Barbosa, Alexandra Boldyreva, Shan Chen, Kaishuo Cheng, Luís Esquível
2025 J jnl
Revisiting the Security and Privacy of FIDO2.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Alexandra Boldyreva, Shan Chen, Kaishuo Cheng, Luís Esquível
2025 J jnl
Tempo: ML-KEM to PAKE Compiler Resilient to Timing Attacks.
IACR Cryptol. ePrint Arch.
Afonso Arriaga, Manuel Barbosa, Stanislaw Jarecki
2024 J jnl
A Tight Security Proof for $\mathrm{SPHINCS^{+}}$, Formally Verified.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, François Dupressoir, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub
2024 — conf
A Tight Security Proof for SPHINCS
ASIACRYPT (4)
Manuel Barbosa, François Dupressoir, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub
2024 — conf
Bare PAKE: Universally Composable Key Exchange from Just Passwords.
CRYPTO (2)
Manuel Barbosa, Kai Gellert, Julia Hesse, Stanislaw Jarecki
2024 J jnl
Bare PAKE: Universally Composable Key Exchange from just Passwords.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Kai Gellert, Julia Hesse, Stanislaw Jarecki
2024 — conf
C'est Très CHIC: A Compact Password-Authenticated Key Exchange from Lattice-Based KEM.
ASIACRYPT (5)
Afonso Arriaga, Manuel Barbosa, Stanislaw Jarecki, Marjan Skrobot
2024 J jnl
C'est très CHIC: A compact password-authenticated key exchange from lattice-based KEM.
IACR Cryptol. ePrint Arch.
Afonso Arriaga, Manuel Barbosa, Stanislaw Jarecki, Marjan Skrobot
2024 — conf
Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt.
CRYPTO (2)
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
2024 J jnl
Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt.
IACR Cryptol. ePrint Arch.
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
2024 J jnl
X-Wing.
IACR Commun. Cryptol.
Manuel Barbosa, Deirdre Connolly, João Diogo Duarte, Aaron Kaiser, Peter Schwabe, Karoline Varner, Bas Westerbaan
2024 J jnl
X-Wing: The Hybrid KEM You've Been Looking For.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Deirdre Connolly, João Diogo Duarte, Aaron Kaiser, Peter Schwabe, Karoline Varner, Bas Westerbaan
2023 C conf
Execution Time Program Verification with Tight Bounds.
PADL
Ana Carolina Silva, Manuel Barbosa, Mário Florido
2023 — conf
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium.
CRYPTO (5)
Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu
2023 J jnl
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu
2023 J jnl
Formally verifying Kyber Episode IV: Implementation correctness.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
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
2023 J jnl
Formally verifying Kyber Part I: Implementation Correctness.
IACR Cryptol. ePrint Arch.
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
2023 J jnl
Kyber terminates.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Peter Schwabe
2023 J jnl
Machine-Checked Security for $\mathrm{XMSS}$ as in RFC 8391 and $\mathrm{SPHINCS}^{+}$.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, François Dupressoir, Benjamin Grégoire, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub
2023 — conf
Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $.
CRYPTO (5)
Manuel Barbosa, François Dupressoir, Benjamin Grégoire, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub
2023 J jnl
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.
ACM Trans. Priv. Secur.
Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub
2023 B conf
Rogue key and impersonation attacks on FIDO2: From theory to practice.
ARES
Manuel Barbosa, André Cirne, Luís Esquível
2023 J jnl
The security of Kyber's FO-transform.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Andreas Hülsing
2022 J jnl
A formal treatment of the role of verified compilers in secure computation.
J. Log. Algebraic Methods Program.
José Carlos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela
2022 J jnl
Execution Time Program Verification With Tight Bounds.
CoRR
Ana Carolina Silva, Manuel Barbosa, Mário Florido
2021 — conf
Algebraic Adversaries in the Universal Composability Framework.
ASIACRYPT (3)
Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu
2021 J jnl
Algebraic Adversaries in the Universal Composability Framework.
IACR Cryptol. ePrint Arch.
Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu
2021 B conf
CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes.
SRDS
Rogério Pontes, Bernardo Portela, Manuel Barbosa, Ricardo Vilaça
2021 J jnl
CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes.
IACR Cryptol. ePrint Arch.
Rogério Pontes, Bernardo Portela, Manuel Barbosa, Ricardo Vilaça
2021 A* conf
EasyPQC: Verifying Post-Quantum Cryptography.
CCS
Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou
2021 J jnl
EasyPQC: Verifying Post-Quantum Cryptography.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou
2021 A* conf
Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head.
CCS
José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira
2021 J jnl
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head.
CoRR
José Carlos Bacelar Almeida, Manuel Barbosa, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira
2021 J jnl
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head.
IACR Cryptol. ePrint Arch.
José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira
2021 A* conf
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.
CCS
Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub
2021 J jnl
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub
2021 — conf
Provable Security Analysis of FIDO2.
CRYPTO (3)
Manuel Barbosa, Alexandra Boldyreva, Shan Chen, Bogdan Warinschi
2021 Misc conf
Secure Conflict-free Replicated Data Types.
ICDCN
Manuel Barbosa, Bernardo Ferreira, João C. Marques, Bernardo Portela, Nuno M. Preguiça
2021 J jnl
Security Characterization of J-PAKE and its Variants.
IACR Cryptol. ePrint Arch.
Michel Abdalla, Manuel Barbosa, Peter B. Rønne, Peter Y. A. Ryan, Petra Sala
2021 A* conf
SoK: Computer-Aided Cryptography.
SP
Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno
2020 Misc conf
Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification.
INDOCRYPT
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Vincent Laporte, Tiago Oliveira
2020 J jnl
Decentralized Privacy-Preserving Proximity Tracing.
CoRR
Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Edouard Bugnion, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda F. Gürses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira
2020 J jnl
Decentralized Privacy-Preserving Proximity Tracing.
IEEE Data Eng. Bull.
Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda Gurses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira
2020 J jnl
Provable Security Analysis of FIDO2.
IACR Cryptol. ePrint Arch.
Shan Chen, Manuel Barbosa, Alexandra Boldyreva, Bogdan Warinschi
2020 J jnl
Secure Conflict-free Replicated Data Types.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Bernardo Ferreira, João C. Marques, Bernardo Portela, Nuno M. Preguiça
2020 A* conf
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.
SP
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub
2020 — conf
Universally Composable Relaxed Password Authenticated Key Exchange.
CRYPTO (1)
Michel Abdalla, Manuel Barbosa, Tatiana Bradley, Stanislaw Jarecki, Jonathan Katz, Jiayu Xu
2020 J jnl
Universally Composable Relaxed Password Authenticated Key Exchange.
IACR Cryptol. ePrint Arch.
Michel Abdalla, Manuel Barbosa, Tatiana Bradley, Stanislaw Jarecki, Jonathan Katz, Jiayu Xu
2019 A* conf
A Machine-Checked Proof of Security for AWS Key Management Service.
CCS
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran
2019 J jnl
A Machine-Checked Proof of Security for AWS Key Management Service.
IACR Cryptol. ePrint Arch.
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran
2019 B conf
Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality.
CT-RSA
Manuel Barbosa, Dario Catalano, Azam Soleimanian, Bogdan Warinschi
2019 J jnl
Machine-Checked Proofs for Cryptographic Standards.
IACR Cryptol. ePrint Arch.
José Bacelar Almeida, Cécile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub
2019 A* conf
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3.
CCS
José Bacelar Almeida, Cécile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub
2019 J jnl
Perfect Forward Security of SPAKE2.
IACR Cryptol. ePrint Arch.
Michel Abdalla, Manuel Barbosa
2019 J jnl
SoK: Computer-Aided Cryptography.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Gilles Barthe, Karthikeyan Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno
2019 J jnl
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.
CoRR
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub
2018 A conf
Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks.
CSF
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela
2018 J jnl
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks.
IACR Cryptol. ePrint Arch.
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela
2018 — conf
Indifferentiable Authenticated Encryption.
CRYPTO (1)
Manuel Barbosa, Pooya Farshim
2018 J jnl
Indifferentiable Authenticated Encryption.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Pooya Farshim
2017 A* conf
A Fast and Verified Software Stack for Secure Function Evaluation.
CCS
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira
2017 J jnl
A Fast and Verified Software Stack for Secure Function Evaluation.
IACR Cryptol. ePrint Arch.
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira
2017 A* conf
Jasmin: High-Assurance and High-Speed Cryptography.
CCS
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub
2017 — conf
Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data.
ESORICS (1)
Manuel Barbosa, Dario Catalano, Dario Fiore
2017 J jnl
Labeled Homomorphic Encryption: Scalable and Privacy-Preserving Processing of Outsourced Data.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Dario Catalano, Dario Fiore
2017 Misc conf
Performance trade-offs on a secure multi-party relational database.
SAC
Rogerio Pontes, Mário Pinto, Manuel Barbosa, Ricardo Vilaça, Miguel Matos, Rui Oliveira
2017 Misc conf
SAFETHINGS: Data Security by Design in the IoT.
EDCC
Manuel Barbosa, Sonia Ben Mokhtar, Pascal Felber, Francisco Maia, Miguel Matos, Rui Oliveira, Etienne Rivière, Valerio Schiavoni, Spyros Voulgaris
2017 — conf
Secure Multiparty Computation from SGX.
Financial Cryptography
Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi
2016 J jnl
A Tool-Chain for High-Assurance Cryptographic Software.
ERCIM News
José Bacelar Almeida, Manuel Barbosa, Hugo Pacheco, Vitor Pereira
2016 A conf
Foundations of Hardware-Based Attested Computation and Application to SGX.
EuroS&P
Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi
2016 J jnl
Foundations of Hardware-Based Attested Computation and Application to SGX.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi
2016 Misc conf
Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation.
INDOCRYPT
Afonso Arriaga, Manuel Barbosa, Pooya Farshim
2016 J jnl
Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation.
IACR Cryptol. ePrint Arch.
Afonso Arriaga, Manuel Barbosa, Pooya Farshim
2016 J jnl
Secure Multiparty Computation from SGX.
IACR Cryptol. ePrint Arch.
Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi
2016 A* conf
Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC.
FSE
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir
2016 A* conf
Verifying Constant-Time Implementations.
USENIX Security Symposium
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Michael Emmi
2015 A* conf
ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data.
IEEE Symposium on Security and Privacy
Michael Backes, Manuel Barbosa, Dario Fiore, Raphael M. Reischuk
2015 J jnl
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC.
IACR Cryptol. ePrint Arch.
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir
2014 J jnl
CAOVerif: An open-source deductive verification platform for cryptographic software implementations.
Sci. Comput. Program.
José Bacelar Almeida, Manuel Barbosa, Jean-Christophe Filliâtre, Jorge Sousa Pinto, Bárbara Vieira
2014 — conf
Compiling CAO: From Cryptographic Specifications to C Implementations.
POST
Manuel Barbosa, David Castro, Paulo F. Silva
2014 A* conf
The Related-Key Analysis of Feistel Constructions.
FSE
Manuel Barbosa, Pooya Farshim
2014 J jnl
The Related-Key Analysis of Feistel Constructions.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Pooya Farshim
2014 J jnl
Verified Implementations for Secure and Verifiable Computation.
IACR Cryptol. ePrint Arch.
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Guillaume Davy, François Dupressoir, Benjamin Grégoire, Pierre-Yves Strub
2013 A* conf
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations.
CCS
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir
2013 J jnl
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations.
IACR Cryptol. ePrint Arch.
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir
2013 J jnl
Formal verification of side-channel countermeasures using self-composition.
Sci. Comput. Program.
José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira
2013 C conf
On the Relationship between Functional Encryption, Obfuscation, and Fully Homomorphic Encryption.
IMACC
Joël Alwen, Manuel Barbosa, Pooya Farshim, Rosario Gennaro, S. Dov Gordon, Stefano Tessaro, David A. Wilson
2013 — conf
On the Semantic Security of Functional Encryption Schemes.
Public Key Cryptography
Manuel Barbosa, Pooya Farshim
2012 B conf
Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation.
CT-RSA
Manuel Barbosa, Pooya Farshim
2012 J jnl
Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols.
IACR Cryptol. ePrint Arch.
José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella-Béguelin
2012 A* conf
Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols.
CCS
José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella-Béguelin
2012 A conf
Generically extending anonymization algorithms to deal with successive queries.
CIKM
Manuel Barbosa, Alexandre Pinto, Bruno Gomes
2012 B conf
On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification.
ACNS
Afonso Arriaga, Manuel Barbosa, Pooya Farshim
2012 J jnl
On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification.
IACR Cryptol. ePrint Arch.
Afonso Arriaga, Manuel Barbosa, Pooya Farshim
2012 B conf
Practical Realisation and Elimination of an ECC-Related Software Bug Attack.
CT-RSA
Billy Bob Brumley, Manuel Barbosa, Dan Page, Frederik Vercauteren
2012 J jnl
Semantically Secure Functional Encryption, Revisited.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Pooya Farshim
2011 J jnl
Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Pooya Farshim
2011 J jnl
Practical realisation and elimination of an ECC-related software bug attack.
IACR Cryptol. ePrint Arch.
Billy Bob Brumley, Manuel Barbosa, Dan Page, Frederik Vercauteren
2011 — conf
Type Checking Cryptography Implementations.
FSEN
Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva
2010 A conf
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.
ESORICS
José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider
2010 J jnl
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.
IACR Cryptol. ePrint Arch.
José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider
2010 J jnl
A Deductive Verification Platform for Cryptographic Software.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliâtre, Bárbara Vieira
2010 J jnl
Deductive verification of cryptographic software.
Innov. Syst. Softw. Eng.
José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira
2010 Misc conf
Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles.
ACISP
Manuel Barbosa, Pooya Farshim
2010 Misc conf
Strong Knowledge Extractors for Public-Key Encryption Schemes.
ACISP
Manuel Barbosa, Pooya Farshim
2009 J jnl
Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography.
J. Cryptol.
Manuel Barbosa, Andrew Moss, Dan Page
2009 — conf
Deductive Verification of Cryptographic Software.
NASA Formal Methods
Manuel Barbosa, José Bacelar Almeida, Jorge Sousa Pinto, Bárbara Vieira
2009 — conf
Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps.
AFRICACRYPT
Manuel Barbosa, Pooya Farshim
2009 — conf
Using Compilers to Enhance Cryptographic Product Development.
ISSE
Endre Bangerter, Manuel Barbosa, Daniel J. Bernstein, Ivan Damgård, Daniel Page, Jakob Illeborg Pagter, Ahmad-Reza Sadeghi, Sampo Sovio
2009 C conf
Verifying Cryptographic Software Correctness with Respect to Reference Implementations.
FMICS
José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira
2008 J jnl
Certificateless Signcryption.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Pooya Farshim
2008 A conf
Certificateless signcryption.
AsiaCCS
Manuel Barbosa, Pooya Farshim
2008 J jnl
Secure Biometric Authentication With Improved Accuracy.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Stéphane Cauchie, Thierry Brouard, Simão Melo de Sousa
2008 Misc conf
Secure Biometric Authentication with Improved Accuracy.
ACISP
Manuel Barbosa, Thierry Brouard, Stéphane Cauchie, Simão Melo de Sousa
2007 — conf
Compiler Assisted Elliptic Curve Cryptography.
OTM Conferences (2)
Manuel Barbosa, Andrew Moss, Dan Page
2007 J jnl
Compiler Assisted Elliptic Curve Cryptography.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Andrew Moss, Dan Page
2007 C conf
Randomness Reuse: Extensions and Improvements.
IMACC
Manuel Barbosa, Pooya Farshim
2006 Misc conf
Secure Cryptographic Workflow in the Standard Model.
INDOCRYPT
Manuel Barbosa, Pooya Farshim
2006 J jnl
Secure Cryptographic Workflow in the Standard Model.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Pooya Farshim
2005 C conf
Efficient Identity-Based Key Encapsulation to Multiple Parties.
IMACC
Manuel Barbosa, Pooya Farshim
2005 J jnl
Efficient Identity-Based Key Encapsulation to Multiple Parties.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Pooya Farshim
2005 J jnl
First Steps Toward a Cryptography-Aware Language and Compiler.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Richard Noad, Daniel Page, Nigel P. Smart
2005 C conf
On the Automatic Construction of Indistinguishable Operations.
IMACC
Manuel Barbosa, Dan Page
2005 J jnl
On the Automatic Construction of Indistinguishable Operations.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Dan Page
2005 J jnl
Recursion patterns and time-analysis.
ACM SIGPLAN Notices
Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto