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: 3.


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, 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.

This list was generated on Mon Jun 25 04:47:16 2018 UTC.

Information about this web site

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