Manuel Barbosa (mbb)

I am a lecturer at the Department of Computer Science in the Faculty of Science of the University of Porto (DCC-FCUP) and a researcher at INESC TEC. My research interests lie in Cryptography and Information Security and Formal Verification.

I hold a Ph.D. in Electrical and Electronic Engineering from Newcastle University, an M.Sc. from the same University, and a degree in Electrical and Computer Engineering from the Faculty of Engineering of the University of Porto. In the past I have been a visiting researcher at the University of Bristol, École Normale Supérieure, Inria Sophia-Antipolis and Bar-Ilan University.

I have been working on the development of high-assurance cryptographic implementations for more than 10 years, bridging the gap between theoretical security and real-world security. I am particularly interested in provable security and its interplay with the formal verification of cryptographic proofs and cryptographic software implementations.

For information on my research and publications, see my page at ORCID.

For information on my teaching activities, see my institutional page at FCUP.

Manuel Barbosa
Departamento de Ciência de Computadores
Faculdade de Ciências da Universidade do Porto
Rua do Campo Alegre, 1021/1055, 4169-007 PORTO
email: mbb [AT]