Cited in
(11)- Formal verification of integrity-preserving countermeasures against cache storage side-channels
- On the incomparability of cache algorithms in terms of timing leakage
- Output-sensitive information flow analysis
- Security Analysis of Cache Replacement Policies
- NaCl
- OnlineMin
- ARMor
- JFlow
- SPEC Benchmarks
- System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory
- Parametric Timed Model Checking for Guaranteeing Timed Opacity
This page was built for software: CacheAudit
