%0 Conference Paper %1 conf/ccs/GuancialeBD20 %A Guanciale, Roberto %A Balliu, Musard %A Dam, Mads %B ACM Conference on Computer and Communications Security %D 2020 %E Ligatti, Jay %E Ou, Xinming %E Katz, Jonathan %E Vigna, Giovanni %I ACM %K dblp %P 1853-1869 %T InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2020.html#GuancialeBD20 %@ 978-1-4503-7089-9

@inproceedings{conf/ccs/GuancialeBD20, added-at = {2020-11-10T00:00:00.000+0100}, author = {Guanciale, Roberto and Balliu, Musard and Dam, Mads}, biburl = {https://www.bibsonomy.org/bibtex/2de979632b1c98202112d93438f5a5b4c/dblp}, booktitle = {ACM Conference on Computer and Communications Security}, crossref = {conf/ccs/2020}, editor = {Ligatti, Jay and Ou, Xinming and Katz, Jonathan and Vigna, Giovanni}, ee = {https://doi.org/10.1145/3372297.3417246}, interhash = {f64b1f17b138d0ae8d6fff4ebbcce7b4}, intrahash = {de979632b1c98202112d93438f5a5b4c}, isbn = {978-1-4503-7089-9}, keywords = {dblp}, pages = {1853-1869}, publisher = {ACM}, timestamp = {2020-11-11T11:37:45.000+0100}, title = {InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2020.html#GuancialeBD20}, year = 2020 }