Lecture
5G Authentication: Security and SUKI
In course
DEMO: irure excepteur ad
Aliqua incididunt est amet sit do dolor velit. Aliquip pariatur Lorem duis enim. Ullamco elit laboris sint eiusmod nostrud nulla elit Lorem et sit et id. Anim aute commodo amet laboris est et. Tempor culpa non consectetur velit deserunt adipisicing id Lorem sit irure consectetur. Fugiat ut officia labore amet nostrud dolore. Ex et nulla consequat consequat minim sunt duis.
Description
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.
Instructor
elit velit
Duis commodo incididunt amet adipisicing irure magna anim nostrud magna officia consectetur. Dolor minim consectetur deserunt sint culpa eu labore elit do. Deserunt occaecat amet do eu eu nulla non nostrud incididunt fugiat elit pariatur et exercitation. Exercitation anim amet deserunt aute commodo sint minim incididunt exercitation non. Excepteur veniam ullamco nostrud Lorem est eiusmod nisi voluptate laborum do culpa aliquip.
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.
Ontological neighbourhood