About Me

I am a post-doctoral researcher at IMDEA, working with Gilles Barthe, Pierre-Yves Strub and Benjamin Grégoire (Inria Sophia-Antipolis -- Méditerranée) on proving cryptographic and side-channel security properties of concrete realizations and implementations of cryptographic primitives and protocols.

I was awarded a Ph.D. from the Open University on the 23rd of April 2013, for my dissertation on "Proving Cryptographic C Programs Secure with General-Purpose Verification Tools". It was written under the supervision of Andy Gordon, Jan Jürjens and Bashar Nuseibeh.

Research Interests

My current research interests are mainly in the formal verification of imperative programs, with a focus on computational cryptographic security properties and proofs of security in the presence of side-channels.

In the past, I have worked on abstract interpretation and some aspects of programming and natural languages.

Professional Activities


Selected Publications

For the full list, see my publications page, on DBLP, or Google Scholar.