CacheAudit: A Tool for the Static Analysis of Cache Side Channels
Cache Missing for Fun and Profit