CacheAudit
From MaRDI portal
Software:44010
No author found.
Related Items (7)
Unnamed Item ⋮ Parametric Timed Model Checking for Guaranteeing Timed Opacity ⋮ System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory ⋮ Security Analysis of Cache Replacement Policies ⋮ On the smoothness of paging algorithms ⋮ Unnamed Item ⋮ Formal verification of integrity-preserving countermeasures against cache storage side-channels
This page was built for software: CacheAudit
