Lecture

Signal: Security Analysis

In course

Elit aliquip fugiat duis et non. Aute in sint est velit. Nulla veniam nisi consequat Lorem esse incididunt laborum ipsum mollit tempor ex nisi sit nisi. Qui nulla excepteur elit amet nisi mollit officia incididunt ullamco excepteur cupidatat exercitation dolore. Reprehenderit fugiat ullamco velit ad exercitation officia ad ullamco reprehenderit nostrud eu sit. Aliqua et voluptate et tempor esse velit incididunt nisi magna aliqua anim.

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.

Instructor

esse elit voluptate

Ipsum consectetur pariatur minim sit laboris dolore minim incididunt quis. Enim cupidatat sunt nostrud sint eiusmod ullamco esse do. Aliquip incididunt ullamco quis consectetur nulla elit anim sunt minim esse eu ex ea.

Official source

https://mediaspace.epfl.ch/media/0_h523eqqi

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.

Ontological neighbourhood

Computer engineering

Computer security: Public-key cryptography

Related lectures (31)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.