CacheAudit: A Tool for the Static Analysis of Cache Side Channels
Cache Games -- Bringing Access-Based Cache Attacks on AES to Practice