M Bellare, AC Singh,
J Jaeger, M Nyayapati… - Advances in Cryptology …, 2017 - Springer
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 …