Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Lecture
Signal: Security Analysis
Description
This lecture covers a formal security analysis of the Signal Messaging Protocol, focusing on the Signal Protocol, X3DH Protocol, and Double Ratchet Protocol. It discusses security properties, the X3DH exchange process, symmetric and asymmetric ratchets, and the security model. The presentation delves into key concepts such as the Gap Diffie-Hellman Problem, example reductions, and the importance of randomness. The lecture concludes by highlighting the limitations and results of the protocol, emphasizing the challenges in modeling and proving security properties.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.