Manuel Barbosa

According to our database, Manuel Barbosa authored at least 83 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Bare PAKE: Universally Composable Key Exchange from just Passwords.

Manuel Barbosa, Kai Gellert, Julia Hesse, Stanislaw Jarecki

IACR Cryptol. ePrint Arch., 2024

A Tight Security Proof for $\mathrm{SPHINCS^{+}}$, Formally Verified.

Manuel Barbosa, François Dupressoir, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub

IACR Cryptol. ePrint Arch., 2024

X-Wing: The Hybrid KEM You've Been Looking For.

Manuel Barbosa, Deirdre Connolly, João Diogo Duarte, Aaron Kaiser, Peter Schwabe, Karoline Varner, Bas Westerbaan

IACR Cryptol. ePrint Arch., 2024

C'est très CHIC: A compact password-authenticated key exchange from lattice-based KEM.

Afonso Arriaga, Manuel Barbosa, Stanislaw Jarecki, Marjan Skrobot

IACR Cryptol. ePrint Arch., 2024

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, 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

IACR Cryptol. ePrint Arch., 2024

X-Wing.

Manuel Barbosa, Deirdre Connolly, João Diogo Duarte, Aaron Kaiser, Peter Schwabe, Karoline Varner, Bas Westerbaan

IACR Commun. Cryptol., 2024

2023

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.

Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub

ACM Trans. Priv. Secur., August, 2023

Formally verifying Kyber Episode IV: Implementation correctness.

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

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023

Kyber terminates.

Manuel Barbosa, Peter Schwabe

IACR Cryptol. ePrint Arch., 2023

The security of Kyber's FO-transform.

Manuel Barbosa, Andreas Hülsing

IACR Cryptol. ePrint Arch., 2023

Machine-Checked Security for $\mathrm{XMSS}$ as in RFC 8391 and $\mathrm{SPHINCS}^{+}$.

Manuel Barbosa, François Dupressoir, Benjamin Grégoire, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub

IACR Cryptol. ePrint Arch., 2023

Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium.

Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu

IACR Cryptol. ePrint Arch., 2023

Formally verifying Kyber Part I: Implementation Correctness.

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

IACR Cryptol. ePrint Arch., 2023

Execution Time Program Verification with Tight Bounds.

Ana Carolina Silva, Manuel Barbosa, Mário Florido

Proceedings of the Practical Aspects of Declarative Languages, 2023

Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $.

Manuel Barbosa, François Dupressoir, Benjamin Grégoire, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

Rogue key and impersonation attacks on FIDO2: From theory to practice.

Manuel Barbosa, André Cirne, Luís Esquível

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

2022

A formal treatment of the role of verified compilers in secure computation.

José Carlos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela

J. Log. Algebraic Methods Program., 2022

2021

CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes.

Rogério Pontes, Bernardo Portela, Manuel Barbosa, Ricardo Vilaça

IACR Cryptol. ePrint Arch., 2021

EasyPQC: Verifying Post-Quantum Cryptography.

Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou

IACR Cryptol. ePrint Arch., 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, Hugo Pacheco, Vitor Pereira

IACR Cryptol. ePrint Arch., 2021

Security Characterization of J-PAKE and its Variants.

Michel Abdalla, Manuel Barbosa, Peter B. Rønne, Peter Y. A. Ryan, Petra Sala

IACR Cryptol. ePrint Arch., 2021

Algebraic Adversaries in the Universal Composability Framework.

Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu

IACR Cryptol. ePrint Arch., 2021

Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head.

José Carlos Bacelar Almeida, Manuel Barbosa, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira

CoRR, 2021

2020

Provable Security Analysis of FIDO2.

Shan Chen, Manuel Barbosa, Alexandra Boldyreva, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2020

Secure Conflict-free Replicated Data Types.

Manuel Barbosa, Bernardo Ferreira, João C. Marques, Bernardo Portela, Nuno M. Preguiça

IACR Cryptol. ePrint Arch., 2020

Universally Composable Relaxed Password Authenticated Key Exchange.

Michel Abdalla, Manuel Barbosa, Tatiana Bradley, Stanislaw Jarecki, Jonathan Katz, Jiayu Xu

IACR Cryptol. ePrint Arch., 2020

Decentralized Privacy-Preserving Proximity Tracing.

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

IEEE Data Eng. Bull., 2020

Decentralized Privacy-Preserving Proximity Tracing.

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

CoRR, 2020

The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Vincent Laporte, Tiago Oliveira

Proceedings of the Progress in Cryptology - INDOCRYPT 2020, 2020

2019

SoK: Computer-Aided Cryptography.

Manuel Barbosa, Gilles Barthe, Karthikeyan Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno

IACR Cryptol. ePrint Arch., 2019

A Machine-Checked Proof of Security for AWS Key Management Service.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran

IACR Cryptol. ePrint Arch., 2019

Machine-Checked Proofs for Cryptographic Standards.

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

IACR Cryptol. ePrint Arch., 2019

Perfect Forward Security of SPAKE2.

Michel Abdalla, Manuel Barbosa

IACR Cryptol. ePrint Arch., 2019

Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality.

Manuel Barbosa, Dario Catalano, Azam Soleimanian, Bogdan Warinschi

Proceedings of the Topics in Cryptology - CT-RSA 2019, 2019

Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3.

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

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Indifferentiable Authenticated Encryption.

Manuel Barbosa, Pooya Farshim

IACR Cryptol. ePrint Arch., 2018

Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela

IACR Cryptol. ePrint Arch., 2018

2017

Labeled Homomorphic Encryption: Scalable and Privacy-Preserving Processing of Outsourced Data.

Manuel Barbosa, Dario Catalano, Dario Fiore

IACR Cryptol. ePrint Arch., 2017

A Fast and Verified Software Stack for Secure Function Evaluation.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira

IACR Cryptol. ePrint Arch., 2017

Performance trade-offs on a secure multi-party relational database.

Rogerio Pontes, Mário Pinto, Manuel Barbosa, Ricardo Vilaça, Miguel Matos, Rui Oliveira

Proceedings of the Symposium on Applied Computing, 2017

SAFETHINGS: Data Security by Design in the IoT.

Manuel Barbosa, Sonia Ben Mokhtar, Pascal Felber, Francisco Maia, Miguel Matos, Rui Oliveira, Etienne Rivière, Valerio Schiavoni, Spyros Voulgaris

Proceedings of the 13th European Dependable Computing Conference, 2017

Jasmin: High-Assurance and High-Speed Cryptography.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Foundations of Hardware-Based Attested Computation and Application to SGX.

Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2016

Secure Multiparty Computation from SGX.

Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2016

Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation.

Afonso Arriaga, Manuel Barbosa, Pooya Farshim

IACR Cryptol. ePrint Arch., 2016

A Tool-Chain for High-Assurance Cryptographic Software.

José Bacelar Almeida, Manuel Barbosa, Hugo Pacheco, Vitor Pereira

ERCIM News, 2016

Verifying Constant-Time Implementations.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Michael Emmi

Proceedings of the 25th USENIX Security Symposium, 2016

2015

Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir

IACR Cryptol. ePrint Arch., 2015

ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data.

Michael Backes, Manuel Barbosa, Dario Fiore, Raphael M. Reischuk

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

2014

CAOVerif: An open-source deductive verification platform for cryptographic software implementations.

José Bacelar Almeida, Manuel Barbosa, Jean-Christophe Filliâtre, Jorge Sousa Pinto, Bárbara Vieira

Sci. Comput. Program., 2014

The Related-Key Analysis of Feistel Constructions.

Manuel Barbosa, Pooya Farshim

IACR Cryptol. ePrint Arch., 2014

Verified Implementations for Secure and Verifiable Computation.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Guillaume Davy, François Dupressoir, Benjamin Grégoire, Pierre-Yves Strub

IACR Cryptol. ePrint Arch., 2014

Compiling CAO: From Cryptographic Specifications to C Implementations.

Manuel Barbosa, David Castro, Paulo F. Silva

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

2013

Formal verification of side-channel countermeasures using self-composition.

José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira

Sci. Comput. Program., 2013

Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir

IACR Cryptol. ePrint Arch., 2013

On the Semantic Security of Functional Encryption Schemes.

Manuel Barbosa, Pooya Farshim

Proceedings of the Public-Key Cryptography - PKC 2013 - 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26, 2013

On the Relationship between Functional Encryption, Obfuscation, and Fully Homomorphic Encryption.

Joël Alwen, Manuel Barbosa, Pooya Farshim, Rosario Gennaro, S. Dov Gordon, Stefano Tessaro, David A. Wilson

Proceedings of the Cryptography and Coding - 14th IMA International Conference, 2013

2012

Semantically Secure Functional Encryption, Revisited.

Manuel Barbosa, Pooya Farshim

IACR Cryptol. ePrint Arch., 2012

On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification.

Afonso Arriaga, Manuel Barbosa, Pooya Farshim

IACR Cryptol. ePrint Arch., 2012

Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols.

José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2012

Generically extending anonymization algorithms to deal with successive queries.

Manuel Barbosa, Alexandre Pinto, Bruno Gomes

Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

2011

Practical realisation and elimination of an ECC-related software bug attack.

Billy Bob Brumley, Manuel Barbosa, Dan Page, Frederik Vercauteren

IACR Cryptol. ePrint Arch., 2011

Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation.

Manuel Barbosa, Pooya Farshim

IACR Cryptol. ePrint Arch., 2011

Type Checking Cryptography Implementations.

Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

Deductive verification of cryptographic software.

José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira

Innov. Syst. Softw. Eng., 2010

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

IACR Cryptol. ePrint Arch., 2010

A Deductive Verification Platform for Cryptographic Software.

Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliâtre, Bárbara Vieira

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Strong Knowledge Extractors for Public-Key Encryption Schemes.

Manuel Barbosa, Pooya Farshim

Proceedings of the Information Security and Privacy - 15th Australasian Conference, 2010

Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles.

Manuel Barbosa, Pooya Farshim

Proceedings of the Information Security and Privacy - 15th Australasian Conference, 2010

2009

Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography.

Manuel Barbosa, Andrew Moss, Dan Page

J. Cryptol., 2009

Using Compilers to Enhance Cryptographic Product Development.

Endre Bangerter, Manuel Barbosa, Daniel J. Bernstein, Ivan Damgård, Daniel Page, Jakob Illeborg Pagter, Ahmad-Reza Sadeghi, Sampo Sovio

Proceedings of the ISSE 2009, 2009

Verifying Cryptographic Software Correctness with Respect to Reference Implementations.

José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps.

Manuel Barbosa, Pooya Farshim

Proceedings of the Progress in Cryptology, 2009

2008

Certificateless Signcryption.

Manuel Barbosa, Pooya Farshim

IACR Cryptol. ePrint Arch., 2008

Secure Biometric Authentication With Improved Accuracy.

Manuel Barbosa, Stéphane Cauchie, Thierry Brouard, Simão Melo de Sousa

IACR Cryptol. ePrint Arch., 2008

2007

Compiler Assisted Elliptic Curve Cryptography.

Manuel Barbosa, Andrew Moss, Dan Page

IACR Cryptol. ePrint Arch., 2007

Randomness Reuse: Extensions and Improvements.

Manuel Barbosa, Pooya Farshim

Proceedings of the Cryptography and Coding, 2007

2006

Secure Cryptographic Workflow in the Standard Model.

Manuel Barbosa, Pooya Farshim

IACR Cryptol. ePrint Arch., 2006

2005

Recursion patterns and time-analysis.

Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto

ACM SIGPLAN Notices, 2005

On the Automatic Construction of Indistinguishable Operations.

Manuel Barbosa, Dan Page

IACR Cryptol. ePrint Arch., 2005

First Steps Toward a Cryptography-Aware Language and Compiler.

Manuel Barbosa, Richard Noad, Daniel Page, Nigel P. Smart

IACR Cryptol. ePrint Arch., 2005

Efficient Identity-Based Key Encapsulation to Multiple Parties.

Manuel Barbosa, Pooya Farshim

IACR Cryptol. ePrint Arch., 2005