Formal analysis of V2X revocation protocols

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

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

17 Citations (Scopus)


Dive into the research topics of 'Formal analysis of V2X revocation protocols'. Together they form a unique fingerprint.


Engineering & Materials Science