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]
@inproceedings{MorioEJK23,
title = {Automated Security Analysis of Exposure Notification Systems},
author = {Kevin Morio and Ilkan Esiyok and Dennis Jackson and Robert Künnemann},
year = {2023},
url = {https://www.usenix.org/conference/usenixsecurity23/presentation/morio},
researchr = {https://researchr.org/publication/MorioEJK23},
cites = {0},
citedby = {0},
pages = {6593-6610},
booktitle = {32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023},
editor = {Joseph A. Calandrino and Carmela Troncoso},
publisher = {USENIX Association},
}