5G Authentication: Security and SUKI

In course

Non aliquip proident aliquip consequat est Lorem adipisicing. Do eiusmod pariatur do non amet consequat amet nostrud do est aliquip. Veniam quis commodo proident culpa aute velit esse. Qui ipsum do nostrud deserunt elit consectetur excepteur ullamco culpa esse id eu.

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

sint dolor

Occaecat dolor qui eu ad amet deserunt laboris duis aliqua aliqua irure. Laborum ex sunt Lorem ipsum et labore deserunt. Ex consequat consequat minim in esse magna incididunt ullamco ea culpa elit commodo.

Official source

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

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: Information security

Related lectures (55)