CacheAudit
From MaRDI portal
Software:44010
swMATH32299MaRDI QIDQ44010FDOQ44010
Author name not available (Why is that?)
Cited In (7)
- On the smoothness of paging algorithms
- Formal verification of integrity-preserving countermeasures against cache storage side-channels
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
This page was built for software: CacheAudit
