Manuel Barbosa
University of Porto (FCUP) & INESC TEC & PQShield
Associate Professor
Manuel Barbosa is an Associate Professor at the University of Porto and a member of the INESC TEC research laboratory. He is also a cryptography research consultant at PQShield. He graduated in Electrical and Computer Engineering at the University of Porto and obtained a Ph.D. in Electrical and Electronic Engineering from the University of Newcastle Upon Tyne. He has been working in cryptography for the last 20 years, with contributions in provable security, computer-aided cryptography, and formal verification of cryptography. He is one of the coordinators of the formosa-crypto.org initiative, and a regular contributor to the EasyCrypt and Jasmin projects. Between 2023 and 2025 he was a research fellow at the Max Planck Institute for Security and Privacy.
Talks at this conference:
| Formal verification of low-level cryptographic code using EasyCrypt and Jasmin: connecting provable secure abstractions to implementations |