Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations

Publication
USENIX Security Symposium (USENIX Security), 2023 - To appear

Related