The approach to contact tracing taken by the Decentralized Privacy-Preserving Proximity Tracing project