FOCUS Seminar: Attested TLS and its Formalization in ProVerif

Name: FOCUS Seminar: Attested TLS and its Formalization in ProVerif
Start: 2025-02-03T14:00:00+01:00
End: 2025-02-03T17:00:00+01:00
Location: Local I22, Faculté d'Informatique - Université de Namur

Schedule

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

UTC+01:00

Location

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

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.