Overview
Explore the concept of ratcheted encryption and key exchange in this 22-minute conference talk presented at Crypto 2017. Delve into the security aspects of messaging as discussed by Mihir Bellare, Asha Camper Singh, Joseph Jaeger, Maya Nyayapati, and Igors Stepanovs. Learn about the fundamentals of ratcheting, examine generic compilation techniques, and understand the process of building a tricky exchange. Discover the motivation behind this research and gain insights into the proof methodologies used. Enhance your understanding of cryptographic principles and their application in secure messaging systems.
Syllabus
Introduction
What is Ratcheting
Generic Compilation
Building a Tricky Exchange
Motivation
Proof
Taught by
TheIACR