{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T14:29:34Z","timestamp":1775744974744,"version":"3.50.1"},"reference-count":54,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2021YFB3100902"],"award-info":[{"award-number":["2021YFB3100902"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62072263"],"award-info":[{"award-number":["62072263"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62372258"],"award-info":[{"award-number":["62372258"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U23B2041"],"award-info":[{"award-number":["U23B2041"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012271","name":"Shenzhen Fundamental Research and Discipline Layout project","doi-asserted-by":"publisher","award":["JCYJ20210324132212030"],"award-info":[{"award-number":["JCYJ20210324132212030"]}],"id":[{"id":"10.13039\/501100012271","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Guangdong Provincial Key Laboratory of Novel Security Intelligence Technologies","award":["2022B1212010005"],"award-info":[{"award-number":["2022B1212010005"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans.Inform.Forensic Secur."],"published-print":{"date-parts":[[2024]]},"DOI":"10.1109\/tifs.2024.3452002","type":"journal-article","created":{"date-parts":[[2024,8,29]],"date-time":"2024-08-29T17:47:36Z","timestamp":1724953656000},"page":"8079-8093","source":"Crossref","is-referenced-by-count":1,"title":["SCAFinder: Formal Verification of Cache Fine-Grained Features for Side Channel Detection"],"prefix":"10.1109","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-3801-3788","authenticated-orcid":false,"given":"Shixuan","family":"Zhang","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Harbin Institute of Technology, Shenzhen, Guangdong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haixia","family":"Wang","sequence":"additional","affiliation":[{"name":"National Research Center for Information Science and Technology, Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-4043-2119","authenticated-orcid":false,"given":"Pengfei","family":"Qiu","sequence":"additional","affiliation":[{"name":"Key Laboratory of Trustworthy Distributed Computing and Service, Ministry of Education, Beijing University of Posts and Telecommunications (BUPT), Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2573-963X","authenticated-orcid":false,"given":"Yongqiang","family":"Lyu","sequence":"additional","affiliation":[{"name":"National Research Center for Information Science and Technology, Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8108-2674","authenticated-orcid":false,"given":"Hongpeng","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Harbin Institute of Technology, Shenzhen, Guangdong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongsheng","family":"Wang","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/11894063_16"},{"key":"ref2","first-page":"1967","article-title":"Reload+refresh: Abusing cache replacement policies to perform stealthy cache attacks","volume-title":"Proc. 29th USENIX Secur. Symp.","author":"Briongos"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.22"},{"key":"ref4","volume-title":"Cache-Timing Attacks on AES","author":"Bernstein","year":"2005"},{"key":"ref5","first-page":"2857","article-title":"Don\u2019t mesh around: Side-channel attacks and mitigations on mesh interconnects","volume-title":"Proc. 31st USENIX Secur. Symp.","author":"Dai"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978356"},{"key":"ref7","first-page":"699","article-title":"Binoculars: Contention-based side-channel attacks exploiting the page Walker","volume-title":"Proc. 31st USENIX Secur. Symp.","author":"Zhao"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.23"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833794"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2020.2988369"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3564625.3567979"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00002"},{"key":"ref13","first-page":"973","article-title":"Meltdown: Reading kernel memory from user space","volume-title":"Proc. 27th USENIX Secur. Symp. (USENIX Secur.)","author":"Lipp"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354252"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00087"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.5555\/3277203.3277277"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00089"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2021.3126150"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s41635-019-00075-9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.23018"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3579856.3595794"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.23919\/DATE56975.2023.10136966"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC52403.2022.9712560"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00081"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3579371.3589073"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.3390\/electronics8091057"},{"key":"ref27","first-page":"341","article-title":"How secure is your cache against side-channel attacks?","volume-title":"Proc. 50th Annu. IEEE\/ACM Int. Symp. Microarchitecture (MICRO)","author":"He"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833692"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO56248.2022.00053"},{"key":"ref30","article-title":"MeltdownPrime and SpectrePrime: Automatically-synthesized attacks exploiting invalidation-based coherence protocols","author":"Trippel","year":"2018","journal-title":"arXiv:1802.03802"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2018.00024"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA47549.2020.00021"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_29"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.43"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/11605805_1"},{"key":"ref36","first-page":"719","article-title":"Flush+reload: A high resolution, low noise, L3 cache side-channel attack","volume-title":"Proc. 23rd USENIX Secur. Symp.","author":"Yarom"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40667-1_14"},{"key":"ref38","first-page":"897","article-title":"Cache template attacks: Automating attacks on inclusive last-level caches","volume-title":"Proc. 24th USENIX Secur. Symp.","author":"Gruss"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250723"},{"key":"ref40","first-page":"643","article-title":"AMD prefetch attacks through power and time","volume-title":"Proc. 31st USENIX Secur. Symp.","author":"Lipp"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00004"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0058022"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0346-0145-0_16"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/4904.4999"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0025774"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/3508352.3549340"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3176258.3176320"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45719-2_6"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3214292.3214294"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/2664243.2664273"},{"key":"ref53","article-title":"Comparative measurement of cache configurations\u2019 impacts on cache timing side-channel attacks","volume-title":"Proc. 12th USENIX Workshop Cyber Secur. Experimentation Test","author":"Yu"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00011"}],"container-title":["IEEE Transactions on Information Forensics and Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10206\/10319981\/10658991.pdf?arnumber=10658991","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T17:50:14Z","timestamp":1726163414000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10658991\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":54,"URL":"https:\/\/doi.org\/10.1109\/tifs.2024.3452002","relation":{},"ISSN":["1556-6013","1556-6021"],"issn-type":[{"value":"1556-6013","type":"print"},{"value":"1556-6021","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]}}}