Jorden Whitefield
Jorden Whitefield
Independent Researcher
Verified email at - Homepage
Cited by
Cited by
Privacy-Enhanced Capabilities for VANETs using Direct Anonymous Attestation
J Whitefield, L Chen, A Giannetsos, S Schneider, H Treharne
IEEE Vehicular Networking Conference 2017 (978-1-5386-0986-6), 123-130, 2017
Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme
S Wesemeyer, CJP Newton, H Treharne, L Chen, R Sasse, J Whitefield
ACM ASIA Conference on Computer and Communications Security, ASIACCS 2020, 2020
Formal Analysis of V2X Revocation Protocols
J Whitefield, L Chen, F Kargl, A Paverd, S Schneider, H Treharne, ...
Security and Trust Management: 13th International Workshop, STM 2017, Oslo …, 2017
A symbolic analysis of ecc-based direct anonymous attestation
J Whitefield, L Chen, R Sasse, S Schneider, H Treharne, S Wesemeyer
2019 IEEE European Symposium on Security and Privacy (EuroS&P), 127-141, 2019
Symbolic Reachability Analysis of B Through ProB and LTSmin
J Bendisposto, P Körner, M Leuschel, J Meijer, J van de Pol, H Treharne, ...
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
Formal Analysis and Applications of Direct Anonymous Attestation
J Whitefield
University of Surrey, 2019
Zero trust and 5G – Realizing zero trust in networks
L Abdelrazek, J Olsson, A Shorov, J Whitefield …, 2021
Direct Anonymous Attestation in the Wild
M Casey, L Chen, T Giannetsos, C Newton, R Sasse, J Whitefield
Real World Crypto 2019, 2019
The system can't perform the operation now. Try again later.
Articles 1–8