Browse/search for people

Dr Francois Dupressoir

Dr Francois Dupressoir

Dr Francois Dupressoir
BSc, MSc, PhD

Senior Lecturer in Cryptography

Office 3.13
Merchant Venturers Building,
Woodland Road, Clifton BS8 1UB
(See a map)

Tel. +44 (0) 117 33 15200

Research summary

  • Machine-checked cryptographic proofs
  • High-assurance cryptography
  • Formal methods for correct and secure software
  • Side-channel countermeasures

Read more >

Recent publications

Read more >

View complete publications list in the University of Bristol publications system

Edit this profile If you are Dr Francois Dupressoir, you can edit this page. Login required.

All details on one page > for printing etc.