Browsing by Author "Bardin, Sebastien"

Now showing 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
Proceedings paper
2023, 30th ACM SIGSAC Conference on Computer and Communications Security (ACM CCS), NOV 26-30, 2023, p.1690-1704
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
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