I am a Researcher at Microsoft Research Redmond, in the Security and Privacy Research Group. My research interests lie in cryptography, verified systems and system security. Recently, I have been working on Spice, a concurrent verifiable execution system which we published at OSDI. I have also been engaged in research on speculation based side-channels.
Before joining Microsoft, I was a Junior Research Fellow at Merton College, Oxford, studying Number Theory and Combinatorics; I studied for my Ph.D. (2015), M.Math and B.A. (2012) in Mathematics from the University of Cambridge.