Covid notions: Towards formal definitions - and documented understanding - of privacy goals and claimed protection in proximity-tracing services
{{output}}
The recent SARS-CoV-2 pandemic gave rise to management approaches using mobile apps for contact tracing. The corresponding apps track individuals and their interactions, to facilitate alerting users of potential infections well before they become infectious th... ...