CacheAudit: A Tool for the Static Analysis of Cache Side Channels. - Goran Doychev; Dominik Feld; Boris Köpf; Laurent Mauborgne; Jan Reineke 001 (IACR Cryptol. ePrint Arch., 2013)