Kevin Morio, Ilkan Esiyok, Dennis Jackson, Robert Künnemann. Automated Security Analysis of Exposure Notification Systems. In Joseph A. Calandrino, Carmela Troncoso, editors, 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023. pages 6593-6610, USENIX Association, 2023. [doi]
Abstract is missing.