Agenda
Prochains événements (conférence, exposition, formation,…) organisés à l'Université de Namur et ouverts au public.
Voir les derniers événements annoncés.
Consultez également les
nouvelles de l'université.
Les membres du personnel peuvent demander la publication d'un événement (interne ou public) en le postant sur
TerraNostra.
conférence/cours/séminaire (spécialisé)
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.
conférence (grand public)
Inauguration de l'UE "ONE HEALTH/UNE SEULE SANTE" par Monsieur le Ministre Yves Coppieters
Nous avons le plaisir de vous inviter à l'inauguration officielle de notre nouvelle unité d'enseignement "One Health / Une Seule Santé", qui se tiendra le 6 février 2025 à 17h dans l'auditoire PA01.