FOCUS Seminar: Attested TLS and its Formalization in ProVerif

Mon Feb 03 2025 at 02:00 pm to 05:00 pm

Local I22, Faculté d'Informatique - Université de Namur | Namur

Facult\u00e9 d'Informatique - Universit\u00e9 de Namur
Publisher/HostFaculté d'Informatique - Université de Namur
FOCUS Seminar: Attested TLS and its Formalization in ProVerif
Advertisement
ABOUT THE SEMINAR: Transport Layer Security (TLS) is a widely used protocol for secure channel establishment. However, TLS lacks any inherent mechanism for validating the security state of the endpoint software and its platform. To overcome this limitation, recent works have combined remote attestation (RA) and TLS, named attested TLS. In this seminar, we will introduce the attested TLS protocols in a specific application domain, namely confidential computing. We also introduce the state-of-the-art formal analysis tool, ProVerif, and describe the technical challenges in verifying a real-world system using ProVerif.
Advertisement

Event Venue & Nearby Stays

Local I22, Faculté d'Informatique - Université de Namur, Rue Grandgagnage 21, 5000 Namur, Belgique,Namur, Belgium

Tickets

Discover more events by tags:

Workshops in NamurArt in NamurIt in Namur

Sharing is Caring: