We aim to understand, formalize and provably achieve the goals underlying the core key-ratcheting technique of Borisov, Goldberg and Brewer, extensions of which are now used in secure messaging systems. We give syntax and security definitions for ratcheted encryption and key-exchange. We give a proven-secure protocol for ratcheted key exchange. We then show how to generically obtain ratcheted encryption from ratcheted key-exchange and standard encryption.
CITATION STYLE
Bellare, M., Singh, A. C., Jaeger, J., Nyayapati, M., & Stepanovs, I. (2017). Ratcheted encryption and key exchange: The security of messaging. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10403 LNCS, pp. 619–650). Springer Verlag. https://doi.org/10.1007/978-3-319-63697-9_21
Mendeley helps you to discover research relevant for your work.