---
author:
- Jorden Whitefield
- Liqun Chen
- Frank Kargl
- Andrew Paverd
- Steve Schneider
- Helen Treharne
- Stephan Wesemeyer
bibliography:
- 'bibliography.bib'
title: Formal Analysis of V2X Revocation Protocols
---



{'source': 'arXiv_out/1704'}