 A Systematic Evaluation of Automated Tools for Side-Channel
Vulnerabilities Detection in Cryptographic LibrariesConference on Computer and Communications Security (CCS), 2023 |
 |
 Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities
in Constant-Time Cryptographic CodeEuropean Symposium on Security and Privacy (Euro S&P), 2023 |
 Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to
Constant-Time and Secret-ErasureACM Transactions on Privacy and Security (TOPS), 2022 |
 Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at
Binary-LevelIEEE Symposium on Security and Privacy (IEEE S&P), 2019 |
 KLEESPECTRE: Detecting Information Leakage through Speculative Cache
Attacks via Symbolic ExecutionACM Transactions on Software Engineering and Methodology (TOSEM), 2019 |
