Browsing by author "Daniel, Lesly-Ann"
Now showing items 1-3 of 3
-
A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries
Geimer, Antoine; Vergnolle, Matheo; Recoules, Frederic; Daniel, Lesly-Ann; Bardin, Sebastien; Maurice, Clementine (2023) -
Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure
Daniel, Lesly-Ann; Bardin, Sebastien; Rezk, Tamara (2023) -
PROSPECT: Provably Secure Speculation for the Constant-Time Policy
Daniel, Lesly-Ann; Bognar, Marton; Noorman, Job; Bardin, Sebastien; Rezk, Tamara; Piessens, Frank (2023)