USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 2 results:
Filters: Author is Robert Künnemann [Clear All Filters]
Automated Security Analysis of Exposure Notification Systems. 32nd USENIX Security Symposium (USENIX Security 23). :6593--6610.
.
2023. SAPIC+: protocol verifiers of the world, unite!. 31st USENIX Security Symposium (USENIX Security 22). :3935--3952.
.
2022.