CacheAudit

Overview

CacheAudit is a versatile framework for the automatic, static analysis of cache side channels. CacheAudit takes as input a program binary and a cache configuration, and it derives formal, quantitative security guarantees for a comprehensive set of side-channel adversaries, namely those based on observing cache states, traces of hits and misses, and execution times.

Downloads

Tar.gz archive
cacheaudit-0.1.tar.gz
See the README for information about installing and using CacheAudit.

Contact

cacheaudit 'at' software 'dot' imdea 'dot' org

People

Former Contributors

Publications