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.
This lecture covers the formal analysis of 5G authentication, focusing on the evolution from 4G to 5G, the vulnerabilities in 4G authentication, and the improvements introduced in 5G, such as the Subscriber Concealed Identifier (SUKI). The speaker discusses the challenges of sending permanent identifiers in the clear, the role of formal verification tools like Tamarin, and the potential attacks and fixes in 5G authentication protocols.