{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T12:55:48Z","timestamp":1792241748021,"version":"4.4.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,15]],"date-time":"2018-10-15T00:00:00Z","timestamp":1539561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1514444"],"award-info":[{"award-number":["1514444"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,15]]},"DOI":"10.1145\/3243734.3243844","type":"proceedings-article","created":{"date-parts":[[2018,10,16]],"date-time":"2018-10-16T13:38:33Z","timestamp":1539697113000},"page":"1899-1913","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["Check It Again"],"prefix":"10.1145","author":[{"given":"Wenwen","family":"Wang","sequence":"first","affiliation":[{"name":"University of Minnesota, Twin Cities, Minneapolis, MN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kangjie","family":"Lu","sequence":"additional","affiliation":[{"name":"University of Minnesota, Twin Cities, Minneapolis, MN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pen-Chung","family":"Yew","sequence":"additional","affiliation":[{"name":"University of Minnesota, Twin Cities, Minneapolis, MN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,10,15]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.30"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978428"},{"key":"e_1_3_2_2_3_1","unstructured":"Dan Carpenter. 2009. Smatch - the source matcher. http:\/\/smatch.sourceforge. Dan Carpenter. 2009. Smatch - the source matcher. http:\/\/smatch.sourceforge."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950396"},{"key":"e_1_3_2_2_5_1","unstructured":"Kees Cook. 2017. Linux Kernel Self Protection Project. https:\/\/outflux.net\/slides\/2017\/lss\/kspp.pdf. Kees Cook. 2017. Linux Kernel Self Protection Project. https:\/\/outflux.net\/slides\/2017\/lss\/kspp.pdf."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"crossref","unstructured":"Will Dietz Peng Li John Regehr and Vikram Adve. 2012. Understanding Integer Overflow in C\/C Will Dietz Peng Li John Regehr and Vikram Adve. 2012. Understanding Integer Overflow in C\/C","DOI":"10.1109\/ICSE.2012.6227142"},{"key":"e_1_3_2_2_7_1","volume-title":"Proceedings of the 34th International Conference on Software Engineering (ICSE '12)"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_2_9_1","volume-title":"K-Miner: Uncovering Memory Corruption in Linux. In 2018 Network and Distributed System Security Symposium (NDSS '18)","author":"Gens David","year":"2018"},{"key":"e_1_3_2_2_10_1","volume-title":"Proceedings of the 6th USENIX Conference on File and Storage Technologies (FAST'08)","author":"Gunawi Haryadi S.","year":"2008"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250767"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2190025.2190075"},{"key":"e_1_3_2_2_13_1","volume-title":"Intel 64 and IA-32 Architectures Software Developer's Manual"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/3241094.3241122"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2387880.2387902"},{"key":"e_1_3_2_2_17_1","volume-title":"Bochspwn: Identifying 0-days via System-wide Memory Access Pattern Analysis.","author":"Jurczyk Mateusz","year":"2013"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_2_19_1","volume-title":"Proceedings of the 24th USENIX Conference on Security Symposium (SEC'15)","author":"Lee Byoungyoung","year":"2015"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978366"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"e_1_3_2_2_22_1","volume-title":"DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers. In 26th USENIX Security Symposium (USENIX Security 17)","author":"Machiry Aravind","year":"2017"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815422"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660337"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594295"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"crossref","unstructured":"Peter Norvig. 1992. The General Problem Solver. Peter Norvig. 1992. The General Problem Solver.","DOI":"10.1016\/B978-0-08-057115-7.50004-2"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352592.1352618"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00056"},{"key":"e_1_3_2_2_30_1","volume-title":"VUzzer: Application-aware Evolutionary Fuzzing. In 2017 Network and Distributed System Security Symposium (NDSS '17)","author":"Rawat Sanjay","year":"2017"},{"key":"e_1_3_2_2_31_1","volume-title":"Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI'12)","author":"Renzelmann Matthew J."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542506"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001434"},{"key":"e_1_3_2_2_34_1","volume-title":"Cl\u00e9 mentine Maurice","author":"Schwarz Michael","year":"2017"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978411"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048146"},{"key":"e_1_3_2_2_37_1","volume-title":"Enforcing Kernel Security Invariants with Data Flow Integrity. In 2016 Network and Distributed System Security Symposium (NDSS '16)","author":"Song Chengyu","year":"2016"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.13"},{"key":"e_1_3_2_2_39_1","volume-title":"Proceedings of the 23rd USENIX Conference on Security Symposium (SEC'14)","author":"Tice Caroline","year":"2014"},{"key":"e_1_3_2_2_40_1","unstructured":"Linus Torvalds. 2006. match - the source matcher. https:\/\/sparse.wikii.kernel.org\/index.php\/Main_Page. Linus Torvalds. 2006. match - the source matcher. https:\/\/sparse.wikii.kernel.org\/index.php\/Main_Page."},{"key":"e_1_3_2_2_41_1","volume-title":"Proceedings of the 23rd USENIX Conference on Security Symposium (USENIX Security 14)","author":"Vijayakumar Hayawardh","year":"2014"},{"key":"e_1_3_2_2_42_1","volume-title":"26th USENIX Security Symposium (USENIX Security 17)","author":"Wang Pengfei","year":"2017"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642972"},{"key":"e_1_3_2_2_44_1","volume-title":"Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI'12)","author":"Wang Xi"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978403"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978340"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00017"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516665"},{"key":"e_1_3_2_2_49_1","volume-title":"25th USENIX Security Symposium (USENIX Security 16)","author":"Yun Insu","year":"2016"}],"event":{"name":"CCS '18: 2018 ACM SIGSAC Conference on Computer and Communications Security","location":"Toronto Canada","acronym":"CCS '18","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3243734.3243844","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3243734.3243844","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3243734.3243844","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T20:20:25Z","timestamp":1775247625000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3243734.3243844"}},"subtitle":["Detecting Lacking-Recheck Bugs in OS Kernels"],"short-title":[],"issued":{"date-parts":[[2018,10,15]]},"references-count":49,"alternative-id":["10.1145\/3243734.3243844","10.1145\/3243734"],"URL":"https:\/\/doi.org\/10.1145\/3243734.3243844","relation":{},"subject":[],"published":{"date-parts":[[2018,10,15]]},"assertion":[{"value":"2018-10-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}