USENIX Security ’23 - Cas Cremers, Charlie Jacomme, Aurora Naska - Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations → February 01, 2024 by Marc Handelman