I am a computer security researcher. I focus on the design and evaluation of secure cryptographic protocols. And I am particularly interested in privacy and verifiability, especially in the context of electronic voting and trusted computing. I am also interested in automated analysis using ProVerif.
I am currently a senior research engineer at Huawei. Prior to joining Huawei, I worked as: a postdoctoral researcher at LORIA, Nancy, France; a Toshiba Fellow at Toshiba's Research & Development Center, Kawasaki, Japan; and a postdoctoral researcher at INRIA, Paris, France. I am the founder of Forget Me Do® Limited. And I hold a PhD in computer science from the University of Birmingham, UK.