Automated Security Analysis of Exposure Notification Systems

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]

Authors

Kevin Morio

This author has not been identified. Look up 'Kevin Morio' in Google

Ilkan Esiyok

This author has not been identified. Look up 'Ilkan Esiyok' in Google

Dennis Jackson

This author has not been identified. Look up 'Dennis Jackson' in Google

Robert Künnemann

This author has not been identified. Look up 'Robert Künnemann' in Google