Paper 2018/553

Optimal Channel Security Against Fine-Grained State Compromise: The Safety of Messaging

Joseph Jaeger and Igors Stepanovs

Abstract

We aim to understand the best possible security of a (bidirectional) cryptographic channel against an adversary that may arbitrarily and repeatedly learn the secret state of either communicating party. We give a formal security definition and a proven-secure construction. This construction provides better security against state compromise than the Signal Double Ratchet Algorithm or any other known channel construction. To facilitate this we define and construct new forms of public-key encryption and digital signatures that update their keys over time.

Note: The proceedings version of this paper contained a security flaw. This is the full, fixed version.

Metadata
Available format(s)
PDF
Publication info
A major revision of an IACR publication in CRYPTO 2018
Keywords
Secure channelforwardbackward securitysecurity models
Contact author(s)
istepano @ eng ucsd edu
History
2018-08-20: revised
2018-06-04: received
See all versions
Short URL
https://ia.cr/2018/553
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2018/553,
      author = {Joseph Jaeger and Igors Stepanovs},
      title = {Optimal Channel Security Against Fine-Grained State Compromise: The Safety of Messaging},
      howpublished = {Cryptology {ePrint} Archive, Paper 2018/553},
      year = {2018},
      url = {https://eprint.iacr.org/2018/553}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.