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