CISPA
Browse
cispa_all_4013.pdf (542.07 kB)

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

Download (542.07 kB)
conference contribution
posted on 2024-03-05, 12:21 authored by Cas CremersCas Cremers, Mang ZhaoMang Zhao
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.

History

Preferred Citation

Cas Cremers, Mang Zhao. Secure Messaging with Strong Compromise Resilience, Temporal Privacy, and Immediate Decryption. In: IEEE S&P. 2023.

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

IEEE S&P

Legacy Posted Date

2023-08-29

Open Access Type

  • Green

BibTeX

@inproceedings{cispa_all_4013, author = {Cas Cremers AND Mang Zhao}, title = {Secure Messaging with Strong Compromise Resilience, Temporal Privacy, and Immediate Decryption}, booktitle = {IEEE S&P}, year = {2023} }

Usage metrics

    Categories

    No categories selected

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC