CacheAudit: A tool for the static analysis of cache side channels. (2013)

by Goran Doychev, Dominik Feld, Boris Köpf, Laurent Mauborgne, Jan Reineke
Venue:In USENIX Security,