Filtrer par type d'événement

Sélectionnez un ou plusieurs filtres. Ce choix permettra de recharger la page pour afficher les résultats filtrés.

Filtrer par thématique

Sélectionnez un ou plusieurs filtres. Ce choix permettra de recharger la page pour afficher les résultats filtrés.

Supprimer tous les filtres

16 résultats

    • Séminaire

    • SemSecuElec

    Compositional Semantics for Detection and Defense of Speculative Leaks

    • 12 février 2027 (11:00 - 12:00)

    • IETR - University of Rennes - Campus de BEAULIEU - Bâtiment 11D, salle numéro 18

    Orateur : Xaver Fabian - CISPA Helmholtz Center for Information Security

    Speculative execution improves CPU performance but introduces vulnerabilities, known as Spectre attacks, which exploit microarchitectural side effects to leak sensitive data. Modern processors employ multiple interacting speculation mechanisms, yet existing approaches predominantly analyze them in isolation, which limits both the automated detection of complex leaks and the formal verification of[…]

    • SemSecuElec

    • Side-channel

    • Micro-architectural vulnerabilities

    • Séminaire

    • Bases de données

    • Apprentissage machine

    • Économie

    • Droit

    • Stratégie

    • Contrôle de flux d'information

    Titre à confirmer

    • 29 mars 2027 (09:00 - 10:00)

    • Inria Center of the University of Rennes

    • Séminaire

    • Bases de données

    • Apprentissage machine

    • Économie

    • Droit

    • Stratégie

    • Contrôle de flux d'information

    Titre à confirmer

    • 09 avril 2027 (09:00 - 10:00)

    • Inria Center of the University of Rennes

    Orateur : Thomas RENAULT - Université Paris Saclay

    • Séminaire

    • Bases de données

    • Apprentissage machine

    • Économie

    • Droit

    • Stratégie

    • Contrôle de flux d'information

    Titre à confirmer

    • 21 mai 2027 (09:00 - 10:00)

    • Inria Center of the University of Rennes

    Orateur : David COLON - Sciences Po Paris

Haut de page