Hey there!
I'm a PhD student at Royal Holloway (University of London), researching cryptography with an eye for practice. My work centers on the formal modelling of real-world cryptographic protocols, aiming to provide a mathematical “proof of security”. I'm also keen on attacks!
Check out my work (or get in touch) using the links below.