Automated Security Analysis of Exposure Notification Systems

TitleAutomated Security Analysis of Exposure Notification Systems
Publication TypeConference Paper
Year of Publication2023
AuthorsMorio K, Esiyok I, Jackson D, Künnemann R
Conference Name32nd USENIX Security Symposium (USENIX Security 23)
Date Published08/2023
PublisherUSENIX Association
Conference LocationAnaheim, CA
ISBN Number978-1-939133-37-3
URLhttps://www.usenix.org/conference/usenixsecurity23/presentation/morio