Symbolic Reachability Analysis of B Through ProB and LTSmin. - Jens Bendisposto; Philipp Körner; Michael Leuschel; Jeroen Meijer; Jaco van de Pol; Helen Treharne; Jorden Whitefield (IFM, 2016)

Formal Analysis of V2X Revocation Protocols. - Jorden Whitefield; Liqun Chen 002; Frank Kargl; Andrew Paverd; Steve A. Schneider; Helen Treharne; Stephan Wesemeyer (STM, 2017)

Privacy-enhanced capabilities for VANETs using direct anonymous attestation. - Jorden Whitefield; Liqun Chen 002; Thanassis Giannetsos; Steve A. Schneider; Helen Treharne (VNC, 2017)

A Symbolic Analysis of ECC-Based Direct Anonymous Attestation. - Jorden Whitefield; Liqun Chen 002; Ralf Sasse; Steve A. Schneider; Helen Treharne; Stephan Wesemeyer (EuroS&P, 2019)

Formal analysis and applications of direct anonymous attestation. - Jorden Whitefield (2019)

Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme. - Stephan Wesemeyer; Christopher J. P. Newton; Helen Treharne; Liqun Chen 002; Ralf Sasse; Jorden Whitefield (AsiaCCS, 2020)