Filter by event type

Select one or more filters. This choice will reload the page to display the filtered results.

Filter by tag

Select one or more filters. This choice will reload the page to display the filtered results.

Remove all filters

19 results

    • Seminar

    • Databases

    • Machine learning

    • Economics

    • Law

    • Strategy

    • Information flow control

    Title to be confirmed

    • January 08, 2027 (09:00 - 10:00)

    • Inria Center of the University of Rennes

    • Seminar

    • Cryptography

    Nouveaux doctorants

    • January 08, 2027 (13:45 - 14:45)

    • A déterminer

    Exposés courts des nouveaux doctorants (Elouan, Quentin, Eliot)

    • Seminar

    • SemSecuElec

    Securing processor's microarchitecture against SCA in a post-quantum cryptography setting

    • February 12, 2027 (10:00 - 11:00)

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

    Speaker : Vincent MIGLIORE - LAAS-CNRS

    Hardware microarchitecture is a well-known source of side-channel leakages, providing a notable security reduction of standard cryptographic algorithms (e.g. AES) if not properly addressed by software or hardware. In this talk, we present new design approaches to harden processor's microarchitecture against power-based side-channel attacks, relying on configurable and cascadable building blocks[…]

    • SemSecuElec

    • Side-channel

    • Micro-architectural vulnerabilities

    • Seminar

    • SemSecuElec

    Compositional Semantics for Detection and Defense of Speculative Leaks

    • February 12, 2027 (11:00 - 12:00)

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

    Speaker : 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

    • Seminar

    • Databases

    • Machine learning

    • Economics

    • Law

    • Strategy

    • Information flow control

    Title to be confirmed

    • March 29, 2027 (09:00 - 10:00)

    • Inria Center of the University of Rennes

    • Seminar

    • Databases

    • Machine learning

    • Economics

    • Law

    • Strategy

    • Information flow control

    Title to be confirmed

    • April 09, 2027 (09:00 - 10:00)

    • Inria Center of the University of Rennes

    Speaker : Thomas RENAULT - Université Paris Saclay

Page top