Browsing by Author "Rezk, Tamara"

Now showing 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
Journal article
2023, ACM TRANSACTIONS ON PRIVACY AND SECURITY, (26) October, p.Art. 11
Impossibility of precise and sound termination-sensitive security enforcements

Ngo, Minh
;
Piessens, Frank
;
Rezk, Tamara
Proceedings paper
2018, Proceedings - IEEE Symposium on Security and Privacy, 21/05/2018
PROSPECT: Provably Secure Speculation for the Constant-Time Policy

Daniel, Lesly-Ann
;
Bognar, Marton
;
Noorman, Job
;
Bardin, Sebastien
;
Rezk, Tamara
;
Piessens, Frank
Proceedings paper
2023, 32nd USENIX Security Symposium, AUG 09-11, 2023, p.7161-7178