Jorden Whitefield

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 7

Top Topics

Payment Protocol

Key Distribution

Symbolic Representation

Formal Analysis

Top Venues

Publications

Stephan Wesemeyer, Christopher J. P. Newton, Helen Treharne, Liqun Chen, Ralf Sasse, Jorden Whitefield
Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme. AsiaCCS (2020)
Jorden Whitefield, Liqun Chen, Ralf Sasse, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
A Symbolic Analysis of ECC-Based Direct Anonymous Attestation. EuroS&P (2019)
Jorden Whitefield, Liqun Chen, Frank Kargl, Andrew Paverd, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
Formal Analysis of V2X Revocation Protocols. CoRR (2017)
Jorden Whitefield, Liqun Chen, Thanassis Giannetsos, Steve A. Schneider, Helen Treharne
Privacy-enhanced capabilities for VANETs using direct anonymous attestation. VNC (2017)
Jorden Whitefield, Liqun Chen, Frank Kargl, Andrew Paverd, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
Formal Analysis of V2X Revocation Protocols. STM (2017)
Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
Symbolic Reachability Analysis of B Through ProB and LTSmin. IFM (2016)
Jens Bendisposto, Philipp Koerner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
Symbolic Reachability Analysis of B through ProB and LTSmin. CoRR (2016)