Post-Doctoral Researcher Positions

The Department has several openings at post-doctoral level on various projects. Most of them are interesting to me (so could lead to collaboration) and are externally funded (so come with somewhat attractive salaries).

PhD Positions

I am looking for PhD students interested in the development and application of formal techniques to the cryptographic and side-channel security of complex cryptographic systems. Please get in touch to discuss topics and funding opportunities.

Short-Term Research Opportunities

If you are interested in research positions on implementation-aware security proofs, please contact me. This includes, but is not limited to, BSc and MSc projects, short research internships over the summer, or research visits.

Selected Publications

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

Other Activities



Invited Talks

PhD School Lectures

Academic Juries

Event Organisation


To get in touch, please try email first. For urgent situations, please use Skype or phone.

For Surrey matters

For other matters


Faculty of Engineering and Physical Sciences
Department of Computer Science, 17 BB 02
Guildford, Surrey, GU2 7XH
United Kingdom