Manuel Barbosa

Manuel Barbosa is an Associate Professor at the Department of Computer Science, Faculty of Science, University of Porto (DCC-FCUP), and a researcher at HASLab/INESC TEC. His research focuses on cryptography, information security, and program verification. He holds a Ph.D. in Electrical and Electronic Engineering from Newcastle University, an M.Sc. from the same institution, and a degree in Electrical and Computer Engineering from the Faculty of Engineering of the University of Porto. Past roles include visiting researcher positions at the University of Bristol, IT Porto, and École Normale Supérieure, as well as a research fellowship at the Max Planck Institute for Security and Privacy (2023–2025).

His work emphasizes high-assurance cryptographic implementations, bridging theoretical and practical security. Research interests include provable security, formal verification of cryptographic proofs, and cryptographic software. Recent publications explore post-quantum cryptographic protocols such as PAKE (Password-Authenticated Key Exchange) and formal verification of signature schemes like SPHINCS+.

Publications: His recent work includes advancements in lattice-based PAKE protocols, tight security proofs for post-quantum signatures, and re-examination of FIDO2 security. These contributions address challenges in secure authentication, efficient cryptographic implementations, and rigorous formal verification.

Awards/Grants: No scientific awards explicitly listed, but his research has been supported through fellowships and institutional affiliations with top-tier institutions.

Labs/Teams: Affiliated with HASLab (High-Assurance Software Laboratory) and INESC TEC, focusing on applied cryptography and security research. Active in DCC-FCUP’s academic and research programs.