Signal — это очень популярная система сквозного шифрования (end-to-end encryption): даже сам сервис-провайдер не может дешифровать сообщения, которыми обмениваются пользователи. У этой системы больше миллиарда пользователей, она используется такими популярными приложениями, как сам Signal, WhatsApp, Skype, Google Allo, Facebook Messenger и многими другими. В докладе мы расскажем о первом полном криптографическом анализе Cигнала и его естественных обобщений, а также объясним, что такое двойной храповик.

Доклад основан на статье: Joël Alwen and Sandro Coretti and Yevgeniy Dodis The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol Eurocrypt 2019, to appear https://eprint.iacr.org/2018/1037