Deniable Key Exchanges for Secure Messaging

摘要: In the wake of recent revelations mass government surveillance, secure messaging protocols have come under renewed scrutiny. A widespread weakness existing solutions is lack strong deniability properties that allow users to plausibly deny sending messages or participating in conversations if security their communications later compromised. Deniable authenticated key exchanges (DAKEs), cryptographic responsible for providing applications, cannot currently provide all desirable simultaneously. We introduce two new DAKEs with provable and Generalized Universal Composability framework. Our primary contribution introduction Spawn, first non-interactive DAKE offers forward secrecy achieves against both offline online judges; Spawn can be used improve popular TextSecure application. also an interactive dual-receiver cryptosystem performance only competitive properties. To encourage adoption, we implement evaluate our schemes while relying solely on standard-model assumptions.