Jorden Whitefield

Identifiers

No identifiers captured yet.

Papers (2)

1. Formal Analysis of V2X Revocation Protocols cs.CR · 2017 · author #1
2. Symbolic Reachability Analysis of B through ProB and LTSmin cs.SE · 2016 · author #7

Mentions

No mention provenance yet.

Frequent Coauthors

• Helen Treharne 2 shared papers
• Andrew Paverd 1 shared papers
• Frank Kargl 1 shared papers
• Jaco van de Pol 1 shared papers
• Jens Bendisposto 1 shared papers
• Jeroen Meijer 1 shared papers
• Liqun Chen 1 shared papers
• Michael Leuschel 1 shared papers
• Philipp Koerner 1 shared papers
• Stephan Wesemeyer 1 shared papers
• Steve Schneider 1 shared papers