Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions
No abstract available.
Related papers
- Quantifying and Mitigating Cache Side Channel Leakage with Differential Set OOPSLA 2023
- Interpretable noninterference measurement and its application to processor designs OOPSLA 2021
- SpecSafe: detecting cache side channels in a speculative world OOPSLA 2021
- SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks CAV 2018
- Exposing cache timing side-channel leaks through out-of-order symbolic execution OOPSLA 2020
- Automatic Quantification of Cache Side-Channels CAV 2012
- Cape: compiler-aided program transformation for HTM-based cache side-channel defense CC 2022
- Leakage-Free Probabilistic Jasmin Programs CPP 2025