@article{cicala2021pure,
  title={Pure: A framework for analyzing proximity-based contact tracing protocols},
  author={Cicala, Fabrizio and Wang, Weicheng and Wang, Tianhao and Li, Ninghui and Bertino, Elisa and Liang, Faming and Yang, Yang},
  journal={ACM Computing Surveys (CSUR)},
  volume={55},
  number={1},
  pages={1--36},
  year={2021},
  publisher={ACM New York, NY}
}

{"_id":"FYWNvFhmjnspZiKb7","bibbaseid":"cicala-wang-wang-li-bertino-liang-yang-pureaframeworkforanalyzingproximitybasedcontacttracingprotocols-2021","author_short":["Cicala, F.","Wang, W.","Wang, T.","Li, N.","Bertino, E.","Liang, F.","Yang, Y."],"bibdata":{"bibtype":"article","type":"article","title":"Pure: A framework for analyzing proximity-based contact tracing protocols","author":[{"propositions":[],"lastnames":["Cicala"],"firstnames":["Fabrizio"],"suffixes":[]},{"propositions":[],"lastnames":["Wang"],"firstnames":["Weicheng"],"suffixes":[]},{"propositions":[],"lastnames":["Wang"],"firstnames":["Tianhao"],"suffixes":[]},{"propositions":[],"lastnames":["Li"],"firstnames":["Ninghui"],"suffixes":[]},{"propositions":[],"lastnames":["Bertino"],"firstnames":["Elisa"],"suffixes":[]},{"propositions":[],"lastnames":["Liang"],"firstnames":["Faming"],"suffixes":[]},{"propositions":[],"lastnames":["Yang"],"firstnames":["Yang"],"suffixes":[]}],"journal":"ACM Computing Surveys (CSUR)","volume":"55","number":"1","pages":"1–36","year":"2021","publisher":"ACM New York, NY","bibtex":"@article{cicala2021pure,\n title={Pure: A framework for analyzing proximity-based contact tracing protocols},\n author={Cicala, Fabrizio and Wang, Weicheng and Wang, Tianhao and Li, Ninghui and Bertino, Elisa and Liang, Faming and Yang, Yang},\n journal={ACM Computing Surveys (CSUR)},\n volume={55},\n number={1},\n pages={1--36},\n year={2021},\n publisher={ACM New York, NY}\n}\n\n","author_short":["Cicala, F.","Wang, W.","Wang, T.","Li, N.","Bertino, E.","Liang, F.","Yang, Y."],"key":"cicala2021pure","id":"cicala2021pure","bibbaseid":"cicala-wang-wang-li-bertino-liang-yang-pureaframeworkforanalyzingproximitybasedcontacttracingprotocols-2021","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://tianhao.wang/files/tianhao.bib","dataSources":["9JysS8QexwC3GJ3Ct"],"keywords":[],"search_terms":["pure","framework","analyzing","proximity","based","contact","tracing","protocols","cicala","wang","wang","li","bertino","liang","yang"],"title":"Pure: A framework for analyzing proximity-based contact tracing protocols","year":2021}