%0 Conference Paper %1 conf/isca/DengXS18 %A Deng, Shuwen %A Xiong, Wenjie %A Szefer, Jakub %B HASP@ISCA %D 2018 %E Szefer, Jakub %E Shi, Weidong %E Lee, Ruby B. %I ACM %K dblp %P 2:1-2:8 %T Cache timing side-channel vulnerability checking with computation tree logic. %U http://dblp.uni-trier.de/db/conf/isca/hasp2018.html#DengXS18

@inproceedings{conf/isca/DengXS18, added-at = {2024-05-07T00:00:00.000+0200}, author = {Deng, Shuwen and Xiong, Wenjie and Szefer, Jakub}, biburl = {https://www.bibsonomy.org/bibtex/2bad8a9a095c8ca7978958803b6050d16/dblp}, booktitle = {HASP@ISCA}, crossref = {conf/isca/2018hasp}, editor = {Szefer, Jakub and Shi, Weidong and Lee, Ruby B.}, ee = {https://doi.org/10.1145/3214292.3214294}, interhash = {b81c93326ce4b53ea4bd1081f8dc136d}, intrahash = {bad8a9a095c8ca7978958803b6050d16}, keywords = {dblp}, pages = {2:1-2:8}, publisher = {ACM}, timestamp = {2024-05-13T08:48:39.000+0200}, title = {Cache timing side-channel vulnerability checking with computation tree logic.}, url = {http://dblp.uni-trier.de/db/conf/isca/hasp2018.html#DengXS18}, year = 2018 }