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

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

Cas Cremers, Charlie Jacomme, Aurora Naska

The building blocks for secure messaging apps, such as Signal's X3DH and Double Ratchet (DR) protocols, have received a lot of attention from the research community. They have notably been proved to meet strong security properties even in the case of compromise such as Forward Secrecy (FS) and Post-Compromise Security (PCS). However, there is a lack of formal study …

analysis eprint report handling messaging secure messaging security session