@misc{boeira2021exploiting,
  title={Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol},
  author={Felipe Boeira and Mikael Asplund},
  year={2021},
  eprint={2105.02664},
  archivePrefix={arXiv},
  primaryClass={cs.CR},
  url={https://arxiv.org/abs/2105.02664}
}