Browsing by author "Rezk, Tamara"
Now showing items 1-3 of 3
-
Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure
Daniel, Lesly-Ann; Bardin, Sebastien; Rezk, Tamara (2023) -
Impossibility of precise and sound termination-sensitive security enforcements
Ngo, Minh; Piessens, Frank; Rezk, Tamara (2018) -
PROSPECT: Provably Secure Speculation for the Constant-Time Policy
Daniel, Lesly-Ann; Bognar, Marton; Noorman, Job; Bardin, Sebastien; Rezk, Tamara; Piessens, Frank (2023)