Automated Security Analysis of Exposure Notification Systems.

Kevin Morio Ilkan Esiyok Dennis Jackson Robert Künnemann

Published in: USENIX Security Symposium (2023)

Keyphrases

security analysis
computer systems
low cost
security requirements
database systems
security model
high security