Title: CacheAudit: A Tool for the Static Analysis of Cache Side Channels Author: Goran Doychev, Dominik Feld, Boris Köpf, Laurent Mauborgne, and Jan Reineke Abstract: CacheAudit is a novel platform for the automatic, static analysis of cache side channels based on abstract interpretation. I present an overview of CacheAudit as an appetizer for the corresponding talk at FCS on Saturday.