{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T04:44:04Z","timestamp":1780634644358,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T00:00:00Z","timestamp":1604275200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Korea government (MSIT)"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,2]]},"DOI":"10.1145\/3400302.3415727","type":"proceedings-article","created":{"date-parts":[[2020,12,18]],"date-time":"2020-12-18T01:17:48Z","timestamp":1608254268000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["RIMI"],"prefix":"10.1145","author":[{"given":"Haeyoung","family":"Kim","sequence":"first","affiliation":[{"name":"Pusan National University Busan, South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jinjae","family":"Lee","sequence":"additional","affiliation":[{"name":"Pusan National University Busan, South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Derry","family":"Pratama","sequence":"additional","affiliation":[{"name":"Pusan National University Busan, South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Asep Muhamad","family":"Awaludin","sequence":"additional","affiliation":[{"name":"Pusan National University Busan, South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Howon","family":"Kim","sequence":"additional","affiliation":[{"name":"Pusan National University Busan, South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Donghyun","family":"Kwon","sequence":"additional","affiliation":[{"name":"Pusan National University Busan, South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,12,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"I: User-Level ISA, Document Version 20191213","author":"Andrew Waterman Krste Asanovic","year":"2019","unstructured":"Krste Asanovic Andrew Waterman (Ed.). 2019 . The RISC-V Instruction Set Manual , Volume I: User-Level ISA, Document Version 20191213 . RISC-V Foundation . Krste Asanovic Andrew Waterman (Ed.). 2019. The RISC-V Instruction Set Manual, Volume I: User-Level ISA, Document Version 20191213. RISC-V Foundation."},{"key":"e_1_3_2_1_2_1","unstructured":"Krste Asanovic Andrew Waterman (Ed.). 2019. The RISC-V Instruction Set Manual Volume II: Privileged Architecture Document Version 20190608-Priv-MSU-Ratified. RISC-V Foundation.  Krste Asanovic Andrew Waterman (Ed.). 2019. The RISC-V Instruction Set Manual Volume II: Privileged Architecture Document Version 20190608-Priv-MSU-Ratified. RISC-V Foundation."},{"key":"e_1_3_2_1_3_1","volume-title":"SCONE: Secure Linux Containers with Intel SGX. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","author":"Arnautov Sergei","year":"2016","unstructured":"Sergei Arnautov , Bohdan Trach , Franz Gregor , Thomas Knauth , Andre Martin , Christian Priebe , Joshua Lind , Divya Muthukumaran , Dan O'keeffe , Mark L Stillwell , 2016 . SCONE: Secure Linux Containers with Intel SGX. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) . 689--703. Sergei Arnautov, Bohdan Trach, Franz Gregor, Thomas Knauth, Andre Martin, Christian Priebe, Joshua Lind, Divya Muthukumaran, Dan O'keeffe, Mark L Stillwell, et al. 2016. SCONE: Secure Linux Containers with Intel SGX. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). 689--703."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Y. Bai. 2016. ARM\u00ae Memory Protection Unit (MPU). 951--974.  Y. Bai. 2016. ARM\u00ae Memory Protection Unit (MPU). 951--974.","DOI":"10.1002\/9781119058397.ch12"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92384-0_11"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744922"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00076"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00076"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.12"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.37"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2714576.2714635"},{"key":"e_1_3_2_1_12_1","first-page":"1","article-title":"SMART: Secure and Minimal Architecture for (Establishing Dynamic) Root of Trust","volume":"12","author":"Eldefrawy Karim","year":"2012","unstructured":"Karim Eldefrawy , Gene Tsudik , Aur\u00e9lien Francillon , and Daniele Perito . 2012 . SMART: Secure and Minimal Architecture for (Establishing Dynamic) Root of Trust .. In Ndss , Vol. 12. 1 -- 15 . Karim Eldefrawy, Gene Tsudik, Aur\u00e9lien Francillon, and Daniele Perito. 2012. SMART: Secure and Minimal Architecture for (Establishing Dynamic) Root of Trust.. In Ndss, Vol. 12. 1--15.","journal-title":"Ndss"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2818000.2856129"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451146"},{"key":"e_1_3_2_1_15_1","unstructured":"Chung Hwan Kim Taegyu Kim Hongjun Choi Zhongshu Gu Byoungyoung Lee Xiangyu Zhang and Dongyan Xu. 2018. Securing Real-Time Microcontroller Systems through Customized Memory View Switching. In NDSS.  Chung Hwan Kim Taegyu Kim Hongjun Choi Zhongshu Gu Byoungyoung Lee Xiangyu Zhang and Dongyan Xu. 2018. Securing Real-Time Microcontroller Systems through Customized Memory View Switching. In NDSS."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592824"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3129743.3129748"},{"key":"e_1_3_2_1_18_1","volume-title":"International Symposium on Code Generation and Optimization, 2004. CGO 2004. 75--86","author":"Lattner C.","unstructured":"C. Lattner and V. Adve . 2004. LLVM: a compilation framework for lifelong program analysis transformation . In International Symposium on Code Generation and Optimization, 2004. CGO 2004. 75--86 . C. Lattner and V. Adve. 2004. LLVM: a compilation framework for lifelong program analysis transformation. In International Symposium on Code Generation and Optimization, 2004. CGO 2004. 75--86."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3390\/machines6020023"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2017.2647955"},{"key":"e_1_3_2_1_21_1","unstructured":"L Nikolov and V Slavyanov. 2018. Network infrastructure for cybersecurity analysis. In International scientific conference.  L Nikolov and V Slavyanov. 2018. Network infrastructure for cybersecurity analysis. In International scientific conference."},{"key":"e_1_3_2_1_22_1","volume-title":"22nd USENIX Security Symposium (USENIX Security 13)","author":"Noorman Job","year":"2013","unstructured":"Job Noorman , Pieter Agten , Wilfried Daniels , Raoul Strackx , Anthony Van Herrewege , Christophe Huygens , Bart Preneel , Ingrid Verbauwhede , and Frank Piessens . 2013 . Sancus: Low-cost trustworthy extensible networked devices with a zero-software trusted computing base . In 22nd USENIX Security Symposium (USENIX Security 13) . 479--498. Job Noorman, Pieter Agten, Wilfried Daniels, Raoul Strackx, Anthony Van Herrewege, Christophe Huygens, Bart Preneel, Ingrid Verbauwhede, and Frank Piessens. 2013. Sancus: Low-cost trustworthy extensible networked devices with a zero-software trusted computing base. In 22nd USENIX Security Symposium (USENIX Security 13). 479--498."},{"key":"e_1_3_2_1_23_1","volume-title":"BEEBS: Open Benchmarks for Energy Measurements on Embedded Platforms. CoRR abs\/1308.5174","author":"Pallister James","year":"2013","unstructured":"James Pallister , Simon J. Hollis , and Jeremy Bennett . 2013 . BEEBS: Open Benchmarks for Energy Measurements on Embedded Platforms. CoRR abs\/1308.5174 (2013). arXiv:1308.5174 http:\/\/arxiv.org\/abs\/1308.5174 James Pallister, Simon J. Hollis, and Jeremy Bennett. 2013. BEEBS: Open Benchmarks for Energy Measurements on Embedded Platforms. CoRR abs\/1308.5174 (2013). arXiv:1308.5174 http:\/\/arxiv.org\/abs\/1308.5174"},{"key":"e_1_3_2_1_24_1","unstructured":"Atish Patra Palmer Dabbelt. 2019. RISC-V Supervisor Binary Interface Specification. https:\/\/github.com\/riscv\/riscv-sbi-doc.  Atish Patra Palmer Dabbelt. 2019. RISC-V Supervisor Binary Interface Specification. https:\/\/github.com\/riscv\/riscv-sbi-doc."},{"key":"e_1_3_2_1_25_1","volume-title":"Shruti Tople, and Prateek Saxena.","author":"Shinde Shweta","year":"2017","unstructured":"Shweta Shinde , Dat Le Tien , Shruti Tople, and Prateek Saxena. 2017 . Panoply : Low-TCB Linux Applications With SGX Enclaves.. In NDSS. Shweta Shinde, Dat Le Tien, Shruti Tople, and Prateek Saxena. 2017. Panoply: Low-TCB Linux Applications With SGX Enclaves.. In NDSS."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2016.08.008"},{"key":"e_1_3_2_1_27_1","volume-title":"Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX. In 2017 USENIX Annual Technical Conference (USENIX ATC 17)","author":"Tsai Chia-Che","year":"2017","unstructured":"Chia-Che Tsai , Donald E Porter , and Mona Vij . 2017 . Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX. In 2017 USENIX Annual Technical Conference (USENIX ATC 17) . 645--658. Chia-Che Tsai, Donald E Porter, and Mona Vij. 2017. Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX. In 2017 USENIX Annual Technical Conference (USENIX ATC 17). 645--658."},{"key":"e_1_3_2_1_28_1","volume-title":"Erim: Secure and efficient in-process isolation with memory protection keys. arXiv preprint arXiv:1801.06822","author":"Vahldiek-Oberwagner Anjo","year":"2018","unstructured":"Anjo Vahldiek-Oberwagner , Eslam Elnikety , Deepak Garg , and Peter Druschel . 2018 . Erim: Secure and efficient in-process isolation with memory protection keys. arXiv preprint arXiv:1801.06822 (2018). Anjo Vahldiek-Oberwagner, Eslam Elnikety, Deepak Garg, and Peter Druschel. 2018. Erim: Secure and efficient in-process isolation with memory protection keys. arXiv preprint arXiv:1801.06822 (2018)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.36"},{"key":"e_1_3_2_1_30_1","unstructured":"A Waterman Y Lee etal 2011. Spike a RISC-V ISA Simulator. repository officiel: https:\/\/github.com\/riscv\/riscv-isa-sim (2011).  A Waterman Y Lee et al. 2011. Spike a RISC-V ISA Simulator. repository officiel: https:\/\/github.com\/riscv\/riscv-isa-sim (2011)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Samuel Weiser Mario Werner Ferdinand Brasser Maja Malenko Stefan Mangard and Ahmad-Reza Sadeghi. 2019. TIMBER-V: Tag-Isolated Memory Bringing Finegrained Enclaves to RISC-V.. In NDSS.  Samuel Weiser Mario Werner Ferdinand Brasser Maja Malenko Stefan Mangard and Ahmad-Reza Sadeghi. 2019. TIMBER-V: Tag-Isolated Memory Bringing Finegrained Enclaves to RISC-V.. In NDSS.","DOI":"10.14722\/ndss.2019.23068"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095809.1095814"},{"key":"e_1_3_2_1_33_1","volume-title":"ARMv8-M architecture technical overview. ARM white paper","author":"Yiu Joseph","year":"2015","unstructured":"Joseph Yiu . 2015. ARMv8-M architecture technical overview. ARM white paper ( 2015 ). Joseph Yiu. 2015. ARMv8-M architecture technical overview. ARM white paper (2015)."},{"key":"e_1_3_2_1_34_1","first-page":"225","article-title":"Hardware Enforcement of Application Security Policies Using Tagged Memory","volume":"8","author":"Zeldovich Nickolai","year":"2008","unstructured":"Nickolai Zeldovich , Hari Kannan , Michael Dalton , and Christos Kozyrakis . 2008 . Hardware Enforcement of Application Security Policies Using Tagged Memory . In OSDI , Vol. 8. 225 -- 240 . Nickolai Zeldovich, Hari Kannan, Michael Dalton, and Christos Kozyrakis. 2008. Hardware Enforcement of Application Security Policies Using Tagged Memory. In OSDI, Vol. 8. 225--240.","journal-title":"OSDI"}],"event":{"name":"ICCAD '20: IEEE\/ACM International Conference on Computer-Aided Design","location":"Virtual Event USA","acronym":"ICCAD '20","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA","IEEE CS"]},"container-title":["Proceedings of the 39th International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3400302.3415727","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3400302.3415727","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:52Z","timestamp":1750197772000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3400302.3415727"}},"subtitle":["instruction-level memory isolation for embedded systems on RISC-V"],"short-title":[],"issued":{"date-parts":[[2020,11,2]]},"references-count":34,"alternative-id":["10.1145\/3400302.3415727","10.1145\/3400302"],"URL":"https:\/\/doi.org\/10.1145\/3400302.3415727","relation":{},"subject":[],"published":{"date-parts":[[2020,11,2]]},"assertion":[{"value":"2020-12-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}