Secure Messaging with Strong Compromise Resilience, Temporal Privacy, and Immediate Decryption

(2024) Secure Messaging with Strong Compromise Resilience, Temporal Privacy, and Immediate Decryption. (Submitted)

Text SP24-eSM-pn.pdf Download (555kB)

Abstract

Recent years have seen many advances in designing secure messaging protocols, aiming at provably strong security properties in theory or high efficiency for real-world practical deployment. However, important trade-off areas of the design space inbetween these elements have not yet been explored. In this work we design the first provably secure protocol that at the same time achieves (i) strong resilience against fine-grained compromise, (ii) temporal privacy, and (iii) immediate decryption with constant-size overhead, notably, in the post-quantum (PQ) setting. Besides these main design goals, we introduce a novel definition of offline deniability suitable for our setting, and prove that our protocol meets it, notably when combined with a PQ offline deniable initial key exchange.

Item Type:	Conference or Workshop Item (A Paper) (Paper)
Divisions:	Cas Cremers (CC)
Conference:	SP IEEE Symposium on Security and Privacy
Depositing User:	Alexander Dax
Date Deposited:	29 Aug 2023 05:45
Last Modified:	29 Aug 2023 05:45
Primary Research Area:	NRA2: Reliable Security Guarantees
URI:	https://publications.cispa.saarland/id/eprint/4013

Actions

Actions (login required)

View Item