{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:33:10Z","timestamp":1750221190501,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,24]],"date-time":"2018-06-24T00:00:00Z","timestamp":1529798400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,24]]},"DOI":"10.1145\/3195970.3196061","type":"proceedings-article","created":{"date-parts":[[2018,6,19]],"date-time":"2018-06-19T13:54:59Z","timestamp":1529416499000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Hypernel"],"prefix":"10.1145","author":[{"given":"Donghyun","family":"Kwon","sequence":"first","affiliation":[{"name":"Seoul National University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kuenwhee","family":"Oh","sequence":"additional","affiliation":[{"name":"KAIST"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junmo","family":"Park","sequence":"additional","affiliation":[{"name":"Seoul National University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seungyong","family":"Yang","sequence":"additional","affiliation":[{"name":"KAIST"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yeongpil","family":"Cho","sequence":"additional","affiliation":[{"name":"Soongsil University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brent Byunghoon","family":"Kang","sequence":"additional","affiliation":[{"name":"KAIST"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yunheung","family":"Paek","sequence":"additional","affiliation":[{"name":"Seoul National University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,6,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2017. Linux Kernel: CVE security vulnerabilities versions and detailed reports. (2017). https:\/\/www.cvedetails.com\/product\/47\/Linux-Kernel.html?vendor  2017. Linux Kernel: CVE security vulnerabilities versions and detailed reports. (2017). https:\/\/www.cvedetails.com\/product\/47\/Linux-Kernel.html?vendor"},{"key":"e_1_3_2_1_2_1","unstructured":"2017. Xen: Vulnerability statistics. (2017). http:\/\/www.cvedetails.com\/vendor\/6276\/XEN.html  2017. Xen: Vulnerability statistics. (2017). http:\/\/www.cvedetails.com\/vendor\/6276\/XEN.html"},{"key":"e_1_3_2_1_3_1","unstructured":"ARM. LogicTile Express 20MG Daughter Board.  ARM. LogicTile Express 20MG Daughter Board."},{"key":"e_1_3_2_1_4_1","unstructured":"ARM. 2015. Versatile Express Juno r1 Development Platform. In ARM 100122_0100_00_en.  ARM. 2015. Versatile Express Juno r1 Development Platform. In ARM 100122_0100_00_en ."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660350"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23009"},{"key":"e_1_3_2_1_7_1","unstructured":"Yeongpil Cho Donghyun Kown Hayoon Yi and Yunheung Paek. 2017. Dynamic Virtual Address Range Adjustment for Intra-Level Privilege Separation on ARM. (2017).  Yeongpil Cho Donghyun Kown Hayoon Yi and Yunheung Paek. 2017. Dynamic Virtual Address Range Adjustment for Intra-Level Privilege Separation on ARM. (2017)."},{"key":"e_1_3_2_1_8_1","volume-title":"USENIX Annual Technical Conference. 565--578","author":"Cho Yeongpil","year":"2016","unstructured":"Yeongpil Cho , Jun-Bum Shin , Donghyun Kwon , MyungJoo Ham , Yuna Kim , and Yunheung Paek . 2016 . Hardware-Assisted On-Demand Hypervisor Activation for Efficient Security Critical Code Execution on Mobile Devices .. In USENIX Annual Technical Conference. 565--578 . Yeongpil Cho, Jun-Bum Shin, Donghyun Kwon, MyungJoo Ham, Yuna Kim, and Yunheung Paek. 2016. Hardware-Assisted On-Demand Hypervisor Activation for Efficient Security Critical Code Execution on Mobile Devices.. In USENIX Annual Technical Conference. 565--578."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2016.35"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541946"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694386"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694383"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the Mobile Security Technologies 2014 Workshop.","author":"Ge Xinyang","year":"2014","unstructured":"Xinyang Ge , Hayawardh Vijayakumar , and Trent Jaeger . 2014 . Sprobes: Enforcing Kernel Code Integrity on the TrustZone Architecture . In Proceedings of the Mobile Security Technologies 2014 Workshop. Xinyang Ge, Hayawardh Vijayakumar, and Trent Jaeger. 2014. Sprobes: Enforcing Kernel Code Integrity on the TrustZone Architecture. In Proceedings of the Mobile Security Technologies 2014 Workshop."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950398"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660303"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45719-2_1"},{"volume-title":"Presented as part of the 22nd USENIX Security Symposium (USENIX Security 13). USENIX, Washington, D.C., 511--526. https:\/\/www.usenix.org\/conference\/usenixsecurity13\/technical-sessions\/presentation\/lee","author":"Lee Hojoon","key":"e_1_3_2_1_17_1","unstructured":"Hojoon Lee , HyunGon Moon , DaeHee Jang , Kihwan Kim , Jihoon Lee , Yunheung Paek , and Brent ByungHoon Kang . 2013. KI-Mon: A Hardware-assisted Event-triggered Monitoring Platform for Mutable Kernel Object . In Presented as part of the 22nd USENIX Security Symposium (USENIX Security 13). USENIX, Washington, D.C., 511--526. https:\/\/www.usenix.org\/conference\/usenixsecurity13\/technical-sessions\/presentation\/lee Hojoon Lee, HyunGon Moon, DaeHee Jang, Kihwan Kim, Jihoon Lee, Yunheung Paek, and Brent ByungHoon Kang. 2013. KI-Mon: A Hardware-assisted Event-triggered Monitoring Platform for Mutable Kernel Object. In Presented as part of the 22nd USENIX Security Symposium (USENIX Security 13). USENIX, Washington, D.C., 511--526. https:\/\/www.usenix.org\/conference\/usenixsecurity13\/technical-sessions\/presentation\/lee"},{"key":"e_1_3_2_1_18_1","volume-title":"Virtualization is coming to a platform near you. ARM white paper 20","author":"Mijat Roberto","year":"2011","unstructured":"Roberto Mijat and Andy Nightingale . 2011. Virtualization is coming to a platform near you. ARM white paper 20 ( 2011 ). Roberto Mijat and Andy Nightingale. 2011. Virtualization is coming to a platform near you. ARM white paper 20 (2011)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1535\/itj.1003.01"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315260"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Chengyu Song Byoungyoung Lee Kangjie Lu William Harris Taesoo Kim and Wenke Lee. 2016. Enforcing Kernel Security Invariants with Data Flow Integrity.. In NDSS.  Chengyu Song Byoungyoung Lee Kangjie Lu William Harris Taesoo Kim and Wenke Lee. 2016. Enforcing Kernel Security Invariants with Data Flow Integrity.. In NDSS .","DOI":"10.14722\/ndss.2016.23218"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2420950.2421012"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/782814.782838"},{"key":"e_1_3_2_1_24_1","first-page":"1827","article-title":"Unified extensible firmware interface specification","volume":"2","author":"Unified EFI","year":"2014","unstructured":"EFI Unified . 2014 . Unified extensible firmware interface specification . Version 2 (2014), 1827 -- 1882 . EFI Unified. 2014. Unified extensible firmware interface specification. Version 2 (2014), 1827--1882.","journal-title":"Version"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.36"},{"key":"e_1_3_2_1_26_1","volume-title":"USENIX Annual Technical Conference. 347--360","author":"Wang Xiaoguang","year":"2015","unstructured":"Xiaoguang Wang , Yue Chen , Zhi Wang , Yong Qi , and Yajin Zhou . 2015 . SecPod: a Framework for Virtualization-based Security Systems .. In USENIX Annual Technical Conference. 347--360 . Xiaoguang Wang, Yue Chen, Zhi Wang, Yong Qi, and Yajin Zhou. 2015. SecPod: a Framework for Virtualization-based Security Systems.. In USENIX Annual Technical Conference. 347--360."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653728"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605429"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2665671.2665740"}],"event":{"name":"DAC '18: The 55th Annual Design Automation Conference 2018","sponsor":["EDAC Electronic Design Automation Consortium","SIGDA ACM Special Interest Group on Design Automation","IEEE Council on Electronic Design Automation (CEDA)","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"San Francisco California","acronym":"DAC '18"},"container-title":["Proceedings of the 55th Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3195970.3196061","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3195970.3196061","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:13Z","timestamp":1750210753000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3195970.3196061"}},"subtitle":["a hardware-assisted framework for kernel protection without nested paging"],"short-title":[],"issued":{"date-parts":[[2018,6,24]]},"references-count":29,"alternative-id":["10.1145\/3195970.3196061","10.1145\/3195970"],"URL":"https:\/\/doi.org\/10.1145\/3195970.3196061","relation":{},"subject":[],"published":{"date-parts":[[2018,6,24]]},"assertion":[{"value":"2018-06-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}