USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 2 results:
Filters: Author is Aurora Naska [Clear All Filters]
Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations. 32nd USENIX Security Symposium (USENIX Security 23). :1235--1252.
.
2023. Formal Analysis of SPDM: Security Protocol and Data Model version 1.2. 32nd USENIX Security Symposium (USENIX Security 23). :6611--6628.
.
2023.