FOCUS Research Seminar "Attested TLS and its Formalization in ProVerif" by Prof. M.U. Sardar (TU Dresden, Germany)
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.
Date : 03/02/2025 13:45 - 03/02/2025 17:00
Lieu : I22
Orateur(s) : Prof. M.U. SARDAR (TU Dresden, Germany)
Organisateur(s) : Prof. Jean-Marie JACQUET
Program
1:45 pm – 2:00 pm : welcome
2:00 pm – 3:15 pm : introduction to Proverif
3:15 pm – 3:45 pm : coffee break
3:45 pm – 5:00 pm : verification of attested TLS
Attendance to the seminar is free. However, to help us organize the event, please register through the web page https://events.info.unamur.be/focus
Contact :
Jean-Marie JACQUET
-
jean-marie.jacquet@unamur.be
Plus d'info :
https://events.info.unamur.be/focus
Télecharger :
vCal