{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:04:45Z","timestamp":1730232285520,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,16]],"date-time":"2022-05-16T00:00:00Z","timestamp":1652659200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,16]],"date-time":"2022-05-16T00:00:00Z","timestamp":1652659200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5,16]]},"DOI":"10.1109\/icc45855.2022.9839097","type":"proceedings-article","created":{"date-parts":[[2022,8,11]],"date-time":"2022-08-11T19:37:11Z","timestamp":1660246631000},"page":"986-991","source":"Crossref","is-referenced-by-count":0,"title":["Analysis of DRAM Vulnerability Using Computation Tree Logic"],"prefix":"10.1109","author":[{"given":"Yuxin","family":"Liu","sequence":"first","affiliation":[{"name":"University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ziyuan","family":"Zhu","sequence":"additional","affiliation":[{"name":"University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yusha","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhongkai","family":"Tong","sequence":"additional","affiliation":[{"name":"University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenjing","family":"Cai","sequence":"additional","affiliation":[{"name":"University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Meng","sequence":"additional","affiliation":[{"name":"University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM41043.2020.9155515"},{"key":"ref11","first-page":"52","article-title":"Design and synthesis of synchronization skeletons using branching time temporal logic","author":"clarke","year":"1981","journal-title":"Workshop on Logic of Programs"},{"key":"ref12","article-title":"Semantical considerations of the modal logic","volume":"1","author":"kripke","year":"2007","journal-title":"Study of Philosophy"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.21236\/ADA360973"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s41635-019-00075-9"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3214292.3214294"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3307650.3322238"},{"key":"ref17","first-page":"897","article-title":"Cache template attacks: Automating attacks on inclusive last-level caches","author":"gruss","year":"2015","journal-title":"24th USENIX Security Symposium USENIX Security 15"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.43"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-60876-1_1"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382230"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653687"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.43"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40667-1_14"},{"key":"ref8","first-page":"719","article-title":"FLUSH+RELOAD: a high resolution, low noise, L3 cache side-channel attack","author":"yarom","year":"2014","journal-title":"23rd USENIX Security Symposium ( USENIX Security 14)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-20550-2_3"},{"key":"ref2","article-title":"Seriously, get off my cloud! Cross-VM RSA Key Recovery in a Public Cloud","author":"inci","year":"2015","journal-title":"IACR Cryptol ePrint Arch"},{"key":"ref1","first-page":"299","article-title":"Wait a minute! A fast, Cross-VM attack on AES","author":"apecechea","year":"0"},{"key":"ref9","first-page":"565","article-title":"{DRAMA}: Exploiting {DRAM} addressing for cross-cpu attacks","author":"pessl","year":"2016","journal-title":"25th USENIX Security Symposium ( USENIX Security 16)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218599"}],"event":{"name":"ICC 2022 - IEEE International Conference on Communications","start":{"date-parts":[[2022,5,16]]},"location":"Seoul, Korea, Republic of","end":{"date-parts":[[2022,5,20]]}},"container-title":["ICC 2022 - IEEE International Conference on Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9837954\/9838246\/09839097.pdf?arnumber=9839097","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,5]],"date-time":"2022-09-05T20:30:19Z","timestamp":1662409819000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9839097\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,16]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icc45855.2022.9839097","relation":{},"subject":[],"published":{"date-parts":[[2022,5,16]]}}}