@misc{indiciae6ac63fa391e1,
  title = {PURE: A Framework for Analyzing Proximity-based Contact Tracing Protocols},
  author = {Fabrizio Cicala and Weicheng Wang and Tianhao Wang and Ninghui Li and Elisa Bertino and Faming Liang and Yang Yang},
  year = {2020},
  url = {https://arxiv.org/abs/2012.09520},
  note = {Source identifier: 2012.09520}
}