{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T14:55:19Z","timestamp":1758120919031,"version":"3.37.3"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/tc.2022.3180990","type":"journal-article","created":{"date-parts":[[2022,6,8]],"date-time":"2022-06-08T19:34:27Z","timestamp":1654716867000},"page":"1-13","source":"Crossref","is-referenced-by-count":1,"title":["WHISTLE: CPU Abstractions for Hardware and Software Memory Safety Invariants"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0855-2443","authenticated-orcid":false,"given":"Sungkeun","family":"Kim","sequence":"first","affiliation":[{"name":"Computer Science and Engineering, Texas A&M University, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8324-792X","authenticated-orcid":false,"given":"Farabi","family":"Mahmud","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering, Texas A&M University, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4011-6668","authenticated-orcid":false,"given":"Jiayi","family":"Huang","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, University of California, Santa Barbara, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0313-7526","authenticated-orcid":false,"given":"Pritam","family":"Majumder","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering, Texas A&M University, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chia-Che","family":"Tsai","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering, Texas A&M University, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8145-815X","authenticated-orcid":false,"given":"Abdullah","family":"Muzahid","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering, Texas A&M University, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eun Jung","family":"Kim","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering, Texas A&M University, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"author":"Enumeration","key":"ref1","article-title":"2020 CWE top 25 most dangerous software weaknesses."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542504"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00002"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO50266.2020.00095"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304017"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2012.6237017"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00033"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SecDev45635.2020.00029"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3358299"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA45697.2020.00068"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3466752.3480076"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA52012.2021.00076"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3495152"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2018.00056"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3224423"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00042"},{"key":"ref17","first-page":"973","article-title":"Meltdown: Reading kernel memory from user space","volume-title":"Proc. 27th USENIX Secur. Symp.","author":"Lipp"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2024716.2024718"},{"key":"ref19","first-page":"249","article-title":"A systematic evaluation of transient execution attacks and defenses","volume-title":"Proc. 28th USENIX Secur. Symp.","author":"Canella"},{"article-title":"BugBench: Benchmarks for evaluating bug detection tools","volume-title":"Proc. Workshop Eval. Softw. Defect Detection Tools","author":"Lu","key":"ref20"},{"year":"2017","key":"ref21","article-title":"Software assurance reference dataset (SARD) project"},{"year":"2017","key":"ref22","article-title":"SPEC releases major new CPU benchmark suite"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1353535.1346295"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3358288"},{"year":"2015","key":"ref25","article-title":"Hardware-assisted checking using silicon secured memory"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.32"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2013.6531076"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00107"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2004.3"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.70"},{"year":"2003","key":"ref31","article-title":"Senseis libray"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3085572"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382201"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1037187.1024404"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1273440.1250722"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2006.29"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2015.7056071"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2014.6835922"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.17"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2012.6263925"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.9"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2007.346205"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/LCA.2017.2784416"},{"key":"ref44","first-page":"807","article-title":"PHMon: A programmable hardware monitor and its security use cases","volume-title":"Proc. 29th USENIX Secur. Symp.","author":"Delshadtehrani"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/4358213\/09792158.pdf?arnumber=9792158","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T02:36:38Z","timestamp":1706754998000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9792158\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":44,"URL":"https:\/\/doi.org\/10.1109\/tc.2022.3180990","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"type":"print","value":"0018-9340"},{"type":"electronic","value":"1557-9956"},{"type":"electronic","value":"2326-3814"}],"subject":[],"published":{"date-parts":[[2022]]}}}