Provably Post-Quantum Secure Messaging with Strong Compromise Resilience and Immediate Decryption

ePrint Report: Provably Post-Quantum Secure Messaging with Strong Compromise Resilience and Immediate Decryption

Cas Cremers, Mang Zhao

Recent years have seen many advances in provably secure messaging protocols, both in features and detailed security proofs. However, some important areas of the design space 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) post-quantum security, and (iii) immediate decryption with constant-size overhead. …

compromise decryption eprint report messaging post-quantum quantum resilience secure messaging