François Dupressoir

Senior Lecturer in Cryptography

University of Bristol


I am a Senior Lecturer in the Cryptography Group and Department of Computer Science at the University of Bristol (UK). My research revolves around proving cryptographic and side-channel security properties of concrete realizations and implementations of cryptographic primitives and protocols, in the presence of partial compromise. This involves tackling problems in modelling adversaries and systems, designing and applying proof methodologies and verification tools, and generally finding less tedious ways of verifying complex properties of important (but not vast) quantities of code.

Before this, I was a Lecturer (and Senior Lecturer) at the University of Surrey (Guildford, UK), and a post-doctoral researcher at the IMDEA Software Institute (Madrid, Spain).

Prior to that, I received my PhD from the Open University in 2013, for my research on “Proving Cryptographic C Programs Secure with General-Purpose Verification Tools”. It was conducted under the supervision of Andy Gordon, Jan Jürjens and Bashar Nuseibeh, and was supported by a Microsoft Research PhD Scholarship. I spent most of my PhD time at the MSR lab in Cambridge, with internships in MSR’s labs in Aachen, Cambridge and Redmond, and some brief stays at the Open University in Milton Keynes.


  • Program verification
  • Machine-checked cryptographic proofs
  • Side-channels and countermeasures


  • PhD in Computer Science, 2013

    The Open University

  • MSc in Computer Science, 2008

    Université de Rennes 1 (student at École Normale Supérieure de Cachan -- Antenne de Bretagne)

  • BSc in Theoretical Computer Science, 2006

    Université Claude Bernard Lyon 1 (student at École Normale Supérieure de Lyon)


Post-Doctoral Researcher Positions

I currently do not have any funded post-doctoral opportunities. However, if you are looking to work with me, please get in touch so we can discuss ways in which such opportunities can be created.

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.

The School currently has funding available for UK and EU students, on a competitive basis. It is important for anyone wishing to apply for this funding to get in touch in order to formulate a research proposal. Please get in touch.

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.

I strongly invite you to look through my recent publications and contact me with a somewhat concrete idea of what you’d like to do. We can then work out the how.

Other Activities


  • Sara Zain - April 2018 - Present, PhD student
  • Nick Frymann - July-August 2018 - BSc intern, now a PhD student at the University of Surrey
  • Alex Brown - July-August 2018 - BSc intern
  • Nicholas Tauwhare - July-August 2017 - BSc intern
  • Lavinia Damian - September 2013-July 2014 - BSc intern, now SDE at Amazon
  • Guillaume Davy (with P-Y Strub) - May-June 2013 - MSc intern


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 Bristol matters (teaching, admin, research management)

For other matters (personal, personal research, consulting)


Merchant Venturers Building
Woodland Road