 A Systematic Evaluation of Automated Tools for Side-Channel
Vulnerabilities Detection in Cryptographic LibrariesConference on Computer and Communications Security (CCS), 2023 |
 McFIL: Model Counting Functionality-Inherent LeakageUSENIX Security Symposium (USENIX Security), 2023 |
 Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities
in Constant-Time Cryptographic CodeEuropean Symposium on Security and Privacy (Euro S&P), 2023 |
 Securing Optimized Code Against Power Side ChannelsIEEE Computer Security Foundations Symposium (CSF), 2022 |
 Leverage the Average: Averaged Sampling in Pre-Silicon Side-Channel
Leakage AssessmentACM Great Lakes Symposium on VLSI (GLSVLSI), 2022 |
 Rosita++: Automatic Higher-Order Leakage Elimination from Cryptographic
CodeIACR Cryptology ePrint Archive (IACR ePrint), 2021 |
