%0 Conference Paper %1 conf/cav/KopfMO12 %A Köpf, Boris %A Mauborgne, Laurent %A Ochoa, Martín %B CAV %D 2012 %E Madhusudan, P. %E Seshia, Sanjit A. %I Springer %K dblp %P 564-580 %T Automatic Quantification of Cache Side-Channels. %U http://dblp.uni-trier.de/db/conf/cav/cav2012.html#KopfMO12 %V 7358 %@ 978-3-642-31423-0

@inproceedings{conf/cav/KopfMO12, added-at = {2018-11-02T00:00:00.000+0100}, author = {Köpf, Boris and Mauborgne, Laurent and Ochoa, Martín}, biburl = {https://www.bibsonomy.org/bibtex/25fc7fa88ca2b1bd11472966ed3148515/dblp}, booktitle = {CAV}, crossref = {conf/cav/2012}, editor = {Madhusudan, P. and Seshia, Sanjit A.}, ee = {https://doi.org/10.1007/978-3-642-31424-7_40}, interhash = {17b531961cc241a04fd335ab0bd22332}, intrahash = {5fc7fa88ca2b1bd11472966ed3148515}, isbn = {978-3-642-31423-0}, keywords = {dblp}, pages = {564-580}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:32.000+0200}, title = {Automatic Quantification of Cache Side-Channels.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2012.html#KopfMO12}, volume = 7358, year = 2012 }