{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:16:13Z","timestamp":1740100573481,"version":"3.37.3"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,1,17]],"date-time":"2022-01-17T00:00:00Z","timestamp":1642377600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,1,17]],"date-time":"2022-01-17T00:00:00Z","timestamp":1642377600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62072263,62102214"],"award-info":[{"award-number":["62072263,62102214"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,1,17]]},"DOI":"10.1109\/asp-dac52403.2022.9712560","type":"proceedings-article","created":{"date-parts":[[2022,2,21]],"date-time":"2022-02-21T22:39:17Z","timestamp":1645483157000},"page":"19-24","source":"Crossref","is-referenced-by-count":2,"title":["CacheGuard: A Behavior Model Checker for Cache Timing Side-Channel Security: (Invited Paper)"],"prefix":"10.1109","author":[{"given":"Zihan","family":"Xu","sequence":"first","affiliation":[{"name":"Tsinghua University,Department of Computer Science and Technology,Beijing,China,100084"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lingfeng","family":"Yin","sequence":"additional","affiliation":[{"name":"Tsinghua University,Department of Computer Science and Technology,Beijing,China,100084"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongqiang","family":"Lyu","sequence":"additional","affiliation":[{"name":"Tsinghua University,Beijing National Research Center for Information Science and Technology,Beijing,China,100084"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haixia","family":"Wang","sequence":"additional","affiliation":[{"name":"Tsinghua University,Department of Computer Science and Technology,Beijing,China,100084"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gang","family":"Qu","sequence":"additional","affiliation":[{"name":"Institute for Systems Research University of Maryland,Department of Electrical and Computer Engineering,College Park,USA,20742"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongsheng","family":"Wang","sequence":"additional","affiliation":[{"name":"Tsinghua University,Department of Computer Science and Technology,Beijing,China,100084"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"897","article-title":"Cache template attacks: Automating attacks on inclusive last-level caches","author":"gruss","year":"2015","journal-title":"USENIX Security Symposium"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254078"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00083"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2016.7446082"},{"key":"ref14","first-page":"675","article-title":"Scattercache: Thwarting cache attacks via cache set randomization","author":"werner","year":"2019","journal-title":"28th USENIX Security Symposium (USENIX Security 19)"},{"key":"ref15","first-page":"451","article-title":"Hybcache: Hybrid side-channel-resilient caches for trusted execution environments","author":"dessouky","year":"2020","journal-title":"29th USENIX Security Symposium (USENIX Security 20)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_29"},{"key":"ref17","article-title":"Semantical considerations of the modal logic","volume":"1","author":"kripke","year":"2007","journal-title":"Study of Philosophy"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/11894063_16"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2005.14"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s41635-019-00075-9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00068"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2014.28"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3123939.3124546"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2664243.2664273"},{"key":"ref2","first-page":"973","article-title":"Meltdown: Reading kernel memory from user space","author":"lipp","year":"2018","journal-title":"27th USENIX Security Symposium (USENIX Security 18)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00002"},{"journal-title":"Cache-timing attacks on AES","year":"2005","author":"bernstein","key":"ref9"}],"event":{"name":"2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC)","start":{"date-parts":[[2022,1,17]]},"location":"Taipei, Taiwan","end":{"date-parts":[[2022,1,20]]}},"container-title":["2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9712466\/9712479\/09712560.pdf?arnumber=9712560","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T21:08:26Z","timestamp":1655154506000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9712560\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,17]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/asp-dac52403.2022.9712560","relation":{},"subject":[],"published":{"date-parts":[[2022,1,17]]}}}