Jorden Whitefield

According to our database, Jorden Whitefield authored at least 6 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme.

Stephan Wesemeyer, Christopher J. P. Newton, Helen Treharne, Liqun Chen, Ralf Sasse, Jorden Whitefield

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2019

Formal analysis and applications of direct anonymous attestation.

Jorden Whitefield

PhD thesis, 2019

A Symbolic Analysis of ECC-Based Direct Anonymous Attestation.

Jorden Whitefield, Liqun Chen, Ralf Sasse, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer

Proceedings of the IEEE European Symposium on Security and Privacy, 2019

2017

Privacy-enhanced capabilities for VANETs using direct anonymous attestation.

Jorden Whitefield, Liqun Chen, Thanassis Giannetsos, Steve A. Schneider, Helen Treharne

Proceedings of the 2017 IEEE Vehicular Networking Conference, 2017

Formal Analysis of V2X Revocation Protocols.

Jorden Whitefield, Liqun Chen, Frank Kargl, Andrew Paverd, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer

Proceedings of the Security and Trust Management - 13th International Workshop, 2017

2016

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

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016