Vincent Cheval
Associate Professor of Computer Science · www.cs.ox.ac.uk · University of Oxford
Quick answer: Vincent Cheval is Associate Professor of Computer Science at University of Oxford. Vincent Cheval shows an active PhD hiring signal as of 2026-09-11.
⭐ I am actively looking for new PhD students interested in working on topics related to my research interests, and particularly on verification of cryptographic protocols. I am also open to new research topics that students would like to pursue. In general, it is good to have a strong theoretical background on logic, model checking, automated verification, formal models, etc. but I am also intereste
Research interests
My research area is the formal analysis and design of cryptographic protocols, with an emphasis on automated verification in the so-called symbolic model and the development of state-of-the-art verification tools. The theories behind my research and tools have root in automated reasoning, rewriting, (probabilistic) model-checking, first-order logic and concurrency theory. Originally, I mainly focused on privacy-type security properties such as anonymity, privacy, unlinkability, strong secrecy that can be expressed by the means of behavioral equivalences. Since 2018, through my work on ProVerif, I have tackled a broader set of security properties, including for example accountability, injective-correspondence, end-to-end verifiability, liveness. My research aims at verifying relevant security protocols, e.g. TLS, cryptocurrency blockchain based protocols, electronic voting protocols, RFID protocols, certificate management protocols, telecommunication protocols, cloud computing...
Selected publications (since 2023)
[2025] Automatic verification of Finite Variant Property beyond convergent equational theories. Vincent Cheval and Caroline Fontaine. In 38th IEEE Computer Security Foundations Symposium, CSF 2023, June 16−20 2025. Santa Cruz, CA, USA. 2025.
[2024] DeepSec: Deciding Equivalence Properties for Security Protocols − Improved theory and practice. Vincent Cheval, Steve Kremer and Itsaka Rakotonirina. In TheoretiCS. Vol. 3. 2024.
[2024] On Learning Polynomial Recursive Programs. Alex Buna−Marginean, Vincent Cheval, Mahsa Shirmohammadi and James Worrell. In Proc. ACM Program. Lang.. Vol. 8. No. POPL. Pages 1001−1027. 2024.
Frequently asked questions
Is Vincent Cheval hiring PhD students at University of Oxford?
Yes. As of 2026-09-11, Vincent Cheval's faculty page shows a PhD hiring signal: I am actively looking for new PhD students interested in working on topics related to my research interests, and particularly on verification of cryptographic protocols. I am also open to new research.
What does Vincent Cheval research?
My research area is the formal analysis and design of cryptographic protocols, with an emphasis on automated verification in the so-called symbolic model and the development of state-of-the-art verification tools. The theories behind my research and tools have root in automated reasoning, rewriting,
Data last updated: 2026-09-11 · Source: phd-match.com faculty database.
Is Vincent Cheval a match for your research?
Upload your CV and get matched to professors who fit — with hiring signals.
Start matching