research
∙
10/02/2022
Automated Security Analysis of Exposure Notification Systems
We present the first formal analysis and comparison of the security of t...
research
∙
06/22/2020