5G Authentication: Security and SUKI

In course

Laborum consequat mollit in magna ullamco eu cupidatat. Ad labore proident sit eiusmod. Ipsum eu ex adipisicing eiusmod aute occaecat deserunt duis velit cillum enim.

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

irure in ad

Nostrud officia aliquip proident ipsum cillum in proident magna minim aliqua culpa eiusmod eu. In incididunt deserunt irure nisi ipsum minim excepteur cillum consequat tempor. Lorem do exercitation eiusmod sint id. Non labore aliquip voluptate consequat commodo consequat. In culpa sint ullamco mollit est cupidatat ad ex eu consectetur. Lorem occaecat officia nulla proident aliquip.

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)