 A Systematic Evaluation of Automated Tools for Side-Channel
Vulnerabilities Detection in Cryptographic LibrariesConference on Computer and Communications Security (CCS), 2023 |
 Reviving Meltdown 3aEuropean Symposium on Research in Computer Security (ESORICS), 2023 |
 AGAPECert: An Auditable, Generalized, Automated, Privacy-Enabling
Certification Framework with Oblivious Smart ContractsIEEE Transactions on Dependable and Secure Computing (TDSC), 2022 |
 A Survey of Microarchitectural Side-channel Vulnerabilities, Attacks and
Defenses in CryptographyACM Computing Surveys (CSUR), 2021 |
 DifFuzz: Differential Fuzzing for Side-Channel AnalysisInternational Conference on Software Engineering (ICSE), 2018 |
