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.
11 results
-
-
Seminar
-
SemSecuElec
Securing processor's microarchitecture against SCA in a post-quantum cryptography setting
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
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
-
-
-
Seminar
-
Databases
-
Machine learning
-
Economics
-
Law
-
Strategy
-
Information flow control
Title to be confirmed
Speaker : Thomas RENAULT - Université Paris Saclay
-
-
-
Seminar
-
Databases
-
Machine learning
-
Economics
-
Law
-
Strategy
-
Information flow control
Title to be confirmed
Speaker : David COLON - Sciences Po Paris
-