Portal de Periódicos da CAPES

Ratcheted Encryption and Key Exchange: The Security of Messaging

2017; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-319-63697-9_21

1611-3349

Mihir Bellare, Asha Camper Singh, Joseph Jaeger, Maya Nyayapati, Igors Stepanovs,

Cryptographic Implementations and Security

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.