Sections
Accueil UNamur > Agenda

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.

Sélectionner un sous-ensemble
Entité : Catégorie : Valider :
Lundi 3 Février 2025

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)

03/02/2025 13:45 - 03/02/2025 17:00

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.

Jeudi 6 Février 2025

conférence (grand public)
Inauguration de l'UE "ONE HEALTH/UNE SEULE SANTE" par Monsieur le Ministre Yves Coppieters

06/02/2025 17:00 - 06/02/2025 20:30

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.