@inproceedings {182946,
	author = {Goran Doychev and Dominik Feld and Boris Kopf and Laurent Mauborgne and Jan Reineke},
	title = {{CacheAudit}: A Tool for the Static Analysis of Cache Side Channels},
	booktitle = {22nd USENIX Security Symposium (USENIX Security 13)},
	year = {2013},
	isbn = {978-1-931971-03-4},
	address = {Washington, D.C.},
	pages = {431--446},
	url = {https://www.usenix.org/conference/usenixsecurity13/technical-sessions/paper/doychev},
	publisher = {USENIX Association},
	month = aug
}
