@misc{indiciae0c0c74c748e2,
  title = {Quantitative System-Level Security Verification of the IoV Infrastructure},
  author = {Jan Lauinger and Mudassar Aslam and Mohammad Hamad and Shahid Raza and Sebastian Steinhorst},
  year = {2021},
  url = {https://arxiv.org/abs/2101.06137},
  note = {Source identifier: 2101.06137}
}