@misc{indiciae530e0baa16cc,
  title = {Automated Security Analysis of Exposure Notification Systems},
  author = {Kevin Morio and Ilkan Esiyok and Dennis Jackson and Robert Künnemann},
  year = {2022},
  url = {https://arxiv.org/abs/2210.00649},
  note = {Source identifier: 2210.00649}
}