CacheAudit
From MaRDI portal
Software:44010
swMATH32299MaRDI QIDQ44010FDOQ44010
Author name not available (Why is that?)
Official website: http://software.imdea.org/projects/cacheaudit/
Cited In (6)
- 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
- 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
