@misc{cryptoeprint:2013:253,
    author = {Goran Doychev and Dominik Feld and Boris Köpf and Laurent Mauborgne and Jan Reineke},
    title = {CacheAudit: A Tool for the Static Analysis of   Cache Side Channels},
    howpublished = {Cryptology ePrint Archive, Report 2013/253},
    year = {2013},
    url = {http://eprint.iacr.org/2013/253},
}