SpreadMeNot: A Provably Secure and Privacy-Preserving Contact Tracing Protocol

作者: Roberto Di Pietro , Pietro Tedeschi , Spiridon Bakiras

DOI:

关键词: Field (computer science)Variety (cybernetics)Privacy preservingComputer securityContact tracingComputer scienceOverhead (computing)Protocol (object-oriented programming)Cryptographic protocol

摘要: … In Section 5.3 we analyze the privacy properties of our protocol in comparison to the existing state-of-the-art approaches and, finally, in Section 5.4, we provide a formal verification of …

参考文章(19)
Walter HW Tuttlebee, None, Software defined radio : enabling technologies Wiley. ,(2002)
Naresh Kumar Gupta, Inside Bluetooth Low Energy ,(2016)
Darrel Hankerson, Alfred J. Menezes, Scott Vanstone, Guide to Elliptic Curve Cryptography ,(2004)
Marius Wernke, Pavel Skvortsov, Frank Dürr, Kurt Rothermel, A classification of location privacy attacks and approaches ubiquitous computing. ,vol. 18, pp. 163- 175 ,(2014) , 10.1007/S00779-012-0633-Z
Yapeng Wang, Xu Yang, Yutian Zhao, Yue Liu, L. Cuthbert, Bluetooth positioning using RSSI and triangulation methods consumer communications and networking conference. pp. 837- 842 ,(2013) , 10.1109/CCNC.2013.6488558
Hui Hu, Na Wei, A study of GPS jamming and anti-jamming international conference on power electronics and intelligent transportation system. ,vol. 1, pp. 388- 391 ,(2009) , 10.1109/PEITS.2009.5406988
Desmond Schmidt, Kenneth Radke, Seyit Camtepe, Ernest Foo, Michał Ren, A Survey and Analysis of the GNSS Spoofing Threat and Countermeasures ACM Computing Surveys. ,vol. 48, pp. 64- ,(2016) , 10.1145/2897166
Gabriele Oligeri, Savio Sciancalepore, Omar Adel Ibrahim, Roberto Di Pietro, Drive me not: GPS spoofing detection via cellular network: (architectures, models, and experiments) wireless network security. pp. 12- 22 ,(2019) , 10.1145/3317549.3319719
Luca Ferretti, Chris Wymant, Michelle Kendall, Lele Zhao, Anel Nurtay, Lucie Abeler-Dörner, Michael Parker, David Bonsall, Christophe Fraser, Quantifying SARS-CoV-2 transmission suggests epidemic control with digital contact tracing. Science. ,vol. 368, ,(2020) , 10.1126/SCIENCE.ABB6936