Vincent Cheval

Vincent Cheval is an Associate Professor at the University of Oxford, Department of Computer Science, and a Tutorial Fellow at Balliol College. His research focuses on the formal analysis and design of cryptographic protocols, utilizing automated verification in symbolic models and developing state-of-the-art tools like ProVerif and DeepSec.

• Academic Rank: Associate Professor of Computer Science
• University: University of Oxford
• College: Balliol College

Vincent’s work spans formal verification, security protocols, protocol design, and automated reasoning. He explores privacy-type properties (anonymity, unlinkability) through behavioral equivalences and has expanded to broader security aspects like accountability and liveness since 2018. His research applies to protocols such as TLS, blockchain systems, electronic voting, and RFID.

Recent Articles highlight verification of transparency protocols, polynomial recursive program analysis, and hash function weaknesses. Awards include Distinguished Paper Awards at IEEE CSF 2023 and IEEE S&P 2022, and recognition in the ACM Computing Reviews' Notable Articles list for 2016.

• Distinguished Paper Awards:
  • USENIX Security 2023
  • IEEE Symposium on Security and Privacy 2022
• ACM Recognition: Notable Article 2016

Vincent actively supervises PhD students and collaborates on tool development for cryptographic protocol verification. He has held positions at Inria (France), University of Birmingham (UK), and University of Kent, with a PhD from ENS-Cachan.