University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Items where Author is "Whitefield, J"

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.


Whitefield, Jorden, Chen, Liqun, Kargl, F, Paverd, A, Schneider, Steven, Treharne, Helen and Wesemeyer, Stephan (2017) Formal Analysis of V2X Revocation Protocols. Proceedings of STM’17. Lecture Notes in Computer Science., 10547. pp. 147-163.

Bendisposto, J, Koerner, P, Leuschel, M, Meijer, J, Pol, JVD, Treharne, H and Whitefield, J (2016) Symbolic Reachability Analysis of B through ProB and LTSmin Integrated Formal Methods (LNCS), 9681. pp. 275-291.

Conference or Workshop Item

Whitefield, Jorden, Chen, Liqun, Sasse, Ralf, Schneider, Steve, Treharne, Helen and Wesemeyer, Stephan (2019) A Symbolic Analysis of ECC-based Direct Anonymous Attestation In: 4th IEEE European Symposium on Security and Privacy, 17-19 Jun 2019, Stockholm, Sweden.

Whitefield, Jorden, Chen, Liqun, Giannetsos, Athanasios, Schneider, Steven and Treharne, Helen (2017) Privacy-Enhanced Capabilities for VANETs using Direct Anonymous Attestation In: 2017 IEEE Vehicular Networking Conference (VNC), November 27-29 2017, Turino, Italy.


Whitefield, Jorden D. (2019) Formal analysis and applications of direct anonymous attestation. Doctoral thesis, University of Surrey.

This list was generated on Mon Mar 30 09:20:30 2020 UTC.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800