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]
No references recorded for this publication.
No citations of this publication recorded.