%0 Journal Article %1 journals/tissec/DoychevKMR15 %A Doychev, Goran %A Köpf, Boris %A Mauborgne, Laurent %A Reineke, Jan %D 2015 %J ACM Trans. Inf. Syst. Secur. %K %N 1 %P 4:1-4:32 %T CacheAudit: A Tool for the Static Analysis of Cache Side Channels. %U http://dblp.uni-trier.de/db/journals/tissec/tissec18.html#DoychevKMR15 %V 18

@article{journals/tissec/DoychevKMR15, added-at = {2023-12-12T19:41:53.000+0100}, author = {Doychev, Goran and Köpf, Boris and Mauborgne, Laurent and Reineke, Jan}, biburl = {https://www.bibsonomy.org/bibtex/24a598a21b4b180776637f1e1eaf70b00/admin}, ee = {https://doi.org/10.1145/2756550}, interhash = {24ae20e230e42e655476922cc30e79ab}, intrahash = {4a598a21b4b180776637f1e1eaf70b00}, journal = {ACM Trans. Inf. Syst. Secur.}, keywords = {}, number = 1, pages = {4:1-4:32}, timestamp = {2023-12-12T19:41:53.000+0100}, title = {CacheAudit: A Tool for the Static Analysis of Cache Side Channels.}, url = {http://dblp.uni-trier.de/db/journals/tissec/tissec18.html#DoychevKMR15}, volume = 18, year = 2015 }