Decentralized Privacy-Preserving Proximity Tracing - Binns,R (2020)