Scholar
Vincent Cheval
Google Scholar ID: VOPOvoYAAAAJ
University of Oxford, United Kingdom
Citations & Impact
Citations
1,131
H-index
15
i10-index
22
Publications
20
Co-authors
18
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Contributed to the development of several tools, including DeepSec, ProVerif, SAPIC+ (integrated into Tamarin), Akiss, and Adecs. These tools aim to enhance the scope, efficiency, and usability of verification tools for cryptographic protocols.
Research Experience
- Currently an Associate Professor at the Department of Computer Science, University of Oxford, and a Tutorial Fellow at Balliol College. Previously, he was a permanent researcher at Inria, working in Nancy (2015-2020) and Paris (2020-2023). He was a postdoctoral researcher at the University of Birmingham (2013-2014) with Prof. Mark Ryan, and a lecturer at the University of Kent in 2015 before joining Inria.
Education
- PhD: École Normale Supérieure de Cachan (ENS-Cachan), supervised by Prof. Hubert Comon and Prof. Stéphanie Delaune; MSc: École Normale Supérieure de Cachan (ENS-Cachan).
Background
- Research interests include the formal analysis and design of cryptographic protocols, with a focus on the development of automated verification tools. Areas of research involve automated reasoning, rewriting, (probabilistic) model checking, first-order logic, and concurrency theory. Primary focus is on privacy-type security properties such as anonymity, privacy, unlinkability, and strong secrecy.
Miscellany
- Actively looking for PhD students interested in cryptographic protocol verification. Additionally, teaches Concurrent Programming.
