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.
The seminar is organized by the FOCUS research group. For any question, please contact Jean-Marie Jacquet.
More information about Prof. M.U. Sardar can be found on his web page at this address.
Attendance to the seminar is free. However, to help us organize the event, please register on this page.
The seminar will be held in seminar I22 located at the 2nd floor of the Faculty of Computer Science, whose address is rue Grandgagnage 21, 5000 Namur.
More information on how to reach the University of Namur and the Faculty of Computer Science is available on the web site of the University. In particular, a map of the campus is available at the following link. The Faculty of Computer Science is at number 16 on this map.
For more information, please contact Jean-Marie Jacquet, or our administrative secretary Babette Di Guardia.