My Profile

Jorden Whitefield

Computer Security Researcher


I am a research student in Secure Systems at the University of Surrey. My PhD is under the supervision of Helen Treharne and Steve Schneider, and is supported by the EPSRC and Thales UK. As part of the PhD I complete a placement at Thales UK Research and Technology in Reading, and Thales eSecurity in Cambridge.

Research Interests

My current research interests are mainly in the formal verification of security protocols, with a focus on how to model "Trusted Computing" symbolically. Additionally, I am also working on how to model Zero-knowledge proofs in the symbolic setting.


For full details of my publications see dblp or Google Scholar.

Privacy-Enhanced Capabilities for VANETs using Direct Anonymous Attestation

IEEE Vehicle Networking Conference, 2017
Jorden Whitefield, Liqun Chen, Athanasios Giannetsos, Steven Schneider, Helen Treharne

Formal Analysis of V2X Revocation Protocols

Security and Trust Management: 13th International Workshop, 2017
Jorden Whitefield, Liqun Chen, Frank Kargl, Andrew Paverd, Steve Schneider, Helen Treharne, Stephan Wesemeyer

Symbolic Reachability Analysis of B Through ProB and LTSmin

Integrated Formal Methods - 12th International Conference 2016
Jens Bendisposto, Philipp K├Ârner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield


Doctoral Student, Computer Security, University of Surrey, UK


BSc (Hons) Computer Science, University of Surrey, UK

2011-2015, awarded 1:1

Qualifications & Skills

  • Qualifications

  • Fellow of The Higher Education Academy, UKPSF - awarded 2017
  • Programming

  • Java - 3 years experience
  • JavaScript - 2 years experience
  • Haskell - currently learning