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