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

13 results

    • 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

Page top