I’m a Ph.D researcher at the Max-Planck Institute for Security and Privacy under the supervision of Peter Schwabe and Gilles Barthe.
My work is focused on high performance, formally verified post-quantum cryptographic implementations (high assurance cryptography for short).
Previously I worked at Goldman Sachs as a Cybersecurity Analyst.
From 2015 to 2020 I completed my Bachelors and Masters in Computer Engineering at University of Minho.
My Master’s thesis was written at the High-Assurance Software Laboratory (HASLab) as part of the REASSURE project.
Thesis: “TrustZone based Attestation in Secure Runtime Verification for Embedded Systems” pdf Specialisation: Cryptography and Information Security, Parallel and Distributed Computing
Full CV: pdf
I’m an avid endurance athlete, focusing on (ultra) trail running, cycling and triathlons.