{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T18:43:00Z","timestamp":1772044980681,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,12,9]],"date-time":"2019-12-09T00:00:00Z","timestamp":1575849600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","award":["2017M3C4A7083676"],"award-info":[{"award-number":["2017M3C4A7083676"]}],"id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,12,9]]},"DOI":"10.1145\/3359789.3359799","type":"proceedings-article","created":{"date-parts":[[2019,11,22]],"date-time":"2019-11-22T18:41:59Z","timestamp":1574448119000},"page":"612-626","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["FRAMER"],"prefix":"10.1145","author":[{"given":"Myoung Jin","family":"Nam","sequence":"first","affiliation":[{"name":"Korea University, Seoul, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Periklis","family":"Akritidis","sequence":"additional","affiliation":[{"name":"Niometrics, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David J","family":"Greaves","sequence":"additional","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,12,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Control-Flow Integrity. In Proc. of ACM CCS. 340--353","author":"Abadi Mart\u00edn","year":"2005","unstructured":"Mart\u00edn Abadi , Mihai Budiu , \u00dalfar Erlingsson , and Jay Ligatti . 2005 . Control-Flow Integrity. In Proc. of ACM CCS. 340--353 . Mart\u00edn Abadi, Mihai Budiu, \u00dalfar Erlingsson, and Jay Ligatti. 2005. Control-Flow Integrity. In Proc. of ACM CCS. 340--353."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 19th USENIX Conference on Security (USENIX Security'10)","author":"Akritidis Periklis","year":"2010","unstructured":"Periklis Akritidis . 2010 . Cling: A Memory Allocator to Mitigate Dangling Pointers . In Proceedings of the 19th USENIX Conference on Security (USENIX Security'10) . USENIX Association, Berkeley, CA, USA, 12--12. http:\/\/dl.acm.org\/citation.cfm?id= 1929820.1929836 Periklis Akritidis. 2010. Cling: A Memory Allocator to Mitigate Dangling Pointers. In Proceedings of the 19th USENIX Conference on Security (USENIX Security'10). USENIX Association, Berkeley, CA, USA, 12--12. http:\/\/dl.acm.org\/citation.cfm?id=1929820.1929836"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 18th Conference on USENIX Security Symposium (SSYM'09)","author":"Akritidis Periklis","year":"2009","unstructured":"Periklis Akritidis , Manuel Costa , Miguel Castro , and Steven Hand . 2009 . Baggy Bounds Checking: An Efficient and Backwards-compatible Defense Against Out-of-bounds Errors . In Proceedings of the 18th Conference on USENIX Security Symposium (SSYM'09) . USENIX Association, Berkeley, CA, USA, 51--66. http:\/\/dl.acm.org\/citation.cfm?id= 1855768.1855772 Periklis Akritidis, Manuel Costa, Miguel Castro, and Steven Hand. 2009. Baggy Bounds Checking: An Efficient and Backwards-compatible Defense Against Out-of-bounds Errors. In Proceedings of the 18th Conference on USENIX Security Symposium (SSYM'09). USENIX Association, Berkeley, CA, USA, 51--66. http:\/\/dl.acm.org\/citation.cfm?id=1855768.1855772"},{"key":"e_1_3_2_1_4_1","unstructured":"ARM Limited. 2018. ARM A64 Instruction Set Architecture. https:\/\/static.docs.arm.com\/ddi0596\/a\/DDI_0596_ARM_a64_instruction_set_architecture.pdf.  ARM Limited. 2018. ARM A64 Instruction Set Architecture. https:\/\/static.docs.arm.com\/ddi0596\/a\/DDI_0596_ARM_a64_instruction_set_architecture.pdf."},{"key":"e_1_3_2_1_5_1","unstructured":"ARM Limited. 2018. Armv8.5-A. https:\/\/community.arm.com\/developer\/ip-products\/processors\/b\/processors-ip-blog\/posts\/arm-a-profile-architecture-2018-developments-armv85a.  ARM Limited. 2018. Armv8.5-A. https:\/\/community.arm.com\/developer\/ip-products\/processors\/b\/processors-ip-blog\/posts\/arm-a-profile-architecture-2018-developments-armv85a."},{"key":"e_1_3_2_1_6_1","unstructured":"Todd Austin. Sept. 1995. Pointer-Intensive Benchmark Suite. http:\/\/pages.cs.wisc.edu\/~austin\/ptr-dist.html  Todd Austin. Sept. 1995. Pointer-Intensive Benchmark Suite. http:\/\/pages.cs.wisc.edu\/~austin\/ptr-dist.html"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178446"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349342"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196494.3196540"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/209936.209941"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC.2006.158"},{"key":"e_1_3_2_1_12_1","volume-title":"Van Horn","author":"Dennis Jack B.","year":"1965","unstructured":"Jack B. Dennis and Earl C . Van Horn . 1965 . Programming Semantics for Multi-programmed Computations . Jack B. Dennis and Earl C. Van Horn. 1965. Programming Semantics for Multi-programmed Computations."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353536.1346295"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134309"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2006.31"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133999"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192388"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2664243.2664249"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.43"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978405"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2905760.2905766"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1186736.1186737"},{"key":"e_1_3_2_1_23_1","unstructured":"Intel Corporation. 2013. Introduction to Intel\u00ae memory protection extensions. http:\/\/software.intel.com\/en-us\/articles\/introduction-to-intel-memory-protection-extensions.  Intel Corporation. 2013. Introduction to Intel\u00ae memory protection extensions. http:\/\/software.intel.com\/en-us\/articles\/introduction-to-intel-memory-protection-extensions."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2014.23287"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134062"},{"key":"e_1_3_2_1_26_1","unstructured":"Trevor Jim Greg Morrisett Dan Grossman Michael Hicks James Cheney and Yanling Wang. [n.d.]. Cyclone: A safe dialect of C.  Trevor Jim Greg Morrisett Dan Grossman Michael Hicks James Cheney and Yanling Wang. [n.d.]. Cyclone: A safe dialect of C."},{"key":"e_1_3_2_1_27_1","first-page":"13","volume-title":"Richard W M Jones, and Paul H J Kelly","author":"Jones Richard","year":"1997","unstructured":"Richard Jones , Richard W M Jones, and Paul H J Kelly . 1997 . Backwards-compatible bounds checking for arrays and pointers in C programs., pages 13 -- 26 pages. Richard Jones, Richard W M Jones, and Paul H J Kelly. 1997. Backwards-compatible bounds checking for arrays and pointers in C programs., pages 13--26 pages."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814228.2814238"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2983998"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064217"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190553"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064192"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Albert Kwon Udit Dhawan Jonathan M. Smith Thomas F. Knight Gingko Bioworks and Andre Dehon. 2013. Low-fat pointers: compact encoding and efficient gate-level implementation of fat pointers for spatial safety and capability-based security. CCS.  Albert Kwon Udit Dhawan Jonathan M. Smith Thomas F. Knight Gingko Bioworks and Andre Dehon. 2013. Low-fat pointers: compact encoding and efficient gate-level implementation of fat pointers for spatial safety and capability-based security. CCS.","DOI":"10.1145\/2508859.2516713"},{"key":"e_1_3_2_1_34_1","unstructured":"LLVM Team. [n.d.]. Hardware-assisted AddressSanitizer Design Documentation. http:\/\/clang.llvm.org\/docs\/HardwareAssistedAddressSanitizerDesign.html.  LLVM Team. [n.d.]. Hardware-assisted AddressSanitizer Design Documentation. http:\/\/clang.llvm.org\/docs\/HardwareAssistedAddressSanitizerDesign.html."},{"key":"e_1_3_2_1_35_1","unstructured":"LLVM Team. 2003. LLVM Constant Expression. https:\/\/llvm.org\/docs\/LangRef.html#constant-expressions.  LLVM Team. 2003. LLVM Constant Expression. https:\/\/llvm.org\/docs\/LangRef.html#constant-expressions."},{"key":"e_1_3_2_1_36_1","unstructured":"LLVM Team. 2003. Standard C Library Intrinsics. https:\/\/llvm.org\/docs\/LangRef.html#standard-c-library-intrinsics.  LLVM Team. 2003. Standard C Library Intrinsics. https:\/\/llvm.org\/docs\/LangRef.html#standard-c-library-intrinsics."},{"key":"e_1_3_2_1_37_1","unstructured":"LLVM Team. 2003. The LLVM gold plugin. https:\/\/llvm.org\/docs\/GoldPlugin.html.  LLVM Team. 2003. The LLVM gold plugin. https:\/\/llvm.org\/docs\/GoldPlugin.html."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.SNAPL.2015.190"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542504"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837855.1806657"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065887.1065892"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594295"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3224423"},{"key":"e_1_3_2_1_44_1","unstructured":"Oracle Corporation. 2016. Introduction to SPARC M7 and Silicon Secured Memory (SSM). https:\/\/swisdev.oracle.com\/_files\/What-Is-SSM.html.  Oracle Corporation. 2016. Introduction to SPARC M7 and Silicon Secured Memory (SSM). https:\/\/swisdev.oracle.com\/_files\/What-Is-SSM.html."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23297"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2006.29"},{"key":"e_1_3_2_1_47_1","volume-title":"Proceedings of the 2012 USENIX Conference on Annual Technical Conference (USENIX ATC'12). USENIX Association","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany , Derek Bruening , Alexander Potapenko , and Dmitry Vyukov . 2012 . AddressSanitizer: A Fast Address Sanity Checker . In Proceedings of the 2012 USENIX Conference on Annual Technical Conference (USENIX ATC'12). USENIX Association , Berkeley, CA, USA, 28--28. http:\/\/dl.acm.org\/citation.cfm?id=2342821.2342849 Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitry Vyukov. 2012. AddressSanitizer: A Fast Address Sanity Checker. In Proceedings of the 2012 USENIX Conference on Annual Technical Conference (USENIX ATC'12). USENIX Association, Berkeley, CA, USA, 28--28. http:\/\/dl.acm.org\/citation.cfm?id=2342821.2342849"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2105"},{"key":"e_1_3_2_1_49_1","volume-title":"SAFECode Whitepaper: Fundamental Practices for Secure Software Development","author":"Simpson Stacy","year":"2014","unstructured":"Stacy Simpson . 2014. SAFECode Whitepaper: Fundamental Practices for Secure Software Development 2 nd Edition.. In ISSE, Helmut Reimer , Norbert Pohlmann, and Wolfgang Schneider (Eds.). Springer , 1--32. http:\/\/dblp.uni-trier.de\/db\/conf\/isse\/isse 2014 .html#Simpson14 Stacy Simpson. 2014. SAFECode Whitepaper: Fundamental Practices for Secure Software Development 2nd Edition.. In ISSE, Helmut Reimer, Norbert Pohlmann, and Wolfgang Schneider (Eds.). Springer, 1--32. http:\/\/dblp.uni-trier.de\/db\/conf\/isse\/isse2014.html#Simpson14","edition":"2"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.45"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062360"},{"key":"e_1_3_2_1_53_1","volume-title":"Proc. of USENIX SEC. 941--955","author":"Tice Caroline","year":"2014","unstructured":"Caroline Tice , Tom Roeder , Peter Collingbourne , Stephen Checkoway , \u00dalfar Erlingsson , Luis Lozano , and Geoff Pike . 2014 . Enforcing Forward-Edge Control-Flow Integrity in GCC & LLVM . In Proc. of USENIX SEC. 941--955 . Caroline Tice, Tom Roeder, Peter Collingbourne, Stephen Checkoway, \u00dalfar Erlingsson, Luis Lozano, and Geoff Pike. 2014. Enforcing Forward-Edge Control-Flow Integrity in GCC & LLVM. In Proc. of USENIX SEC. 941--955."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813673"},{"key":"e_1_3_2_1_55_1","volume-title":"Proc. of IEEE S&P. 934--953","author":"van der Veen Victor","year":"2016","unstructured":"Victor van der Veen , Enes G\u00f6kta\u015f , Moritz Contag , Andre Pawloski , Xi Chen , Sanjay Rawat , Herbert Bos , Thorsten Holz , Elias Athanasopoulos , and Cristiano Giuffrida . 2016 . A Tough call: Mitigating Advanced Code-Reuse Attacks At The Binary Level . In Proc. of IEEE S&P. 934--953 . Victor van der Veen, Enes G\u00f6kta\u015f, Moritz Contag, Andre Pawloski, Xi Chen, Sanjay Rawat, Herbert Bos, Thorsten Holz, Elias Athanasopoulos, and Cristiano Giuffrida. 2016. A Tough call: Mitigating Advanced Code-Reuse Attacks At The Binary Level. In Proc. of IEEE S&P. 934--953."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.9"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2678373.2665740"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294325.1294343"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029913"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755688.1755707"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23164"},{"key":"e_1_3_2_1_62_1","volume-title":"Proc. of IEEE S&P. 559--573","author":"Zhang Chao","year":"2013","unstructured":"Chao Zhang , Tao Wei , Zhaofeng Chen , Lei Duan , L. Szekeres , S. McCamant , D. Song , and Wei Zou . 2013 . Practical Control Flow Integrity & Randomization for Binary Executables . In Proc. of IEEE S&P. 559--573 . Chao Zhang, Tao Wei, Zhaofeng Chen, Lei Duan, L. Szekeres, S. McCamant, D. Song, and Wei Zou. 2013. Practical Control Flow Integrity & Randomization for Binary Executables. In Proc. of IEEE S&P. 559--573."},{"key":"e_1_3_2_1_63_1","volume-title":"Proc. of USENIX SEC. 337--352","author":"Zhang Mingwei","year":"2013","unstructured":"Mingwei Zhang and R Sekar . 2013 . Control Flow Integrity for COTS Binaries . In Proc. of USENIX SEC. 337--352 . Mingwei Zhang and R Sekar. 2013. Control Flow Integrity for COTS Binaries. In Proc. of USENIX SEC. 337--352."}],"event":{"name":"ACSAC '19: 2019 Annual Computer Security Applications Conference","location":"San Juan Puerto Rico USA","acronym":"ACSAC '19"},"container-title":["Proceedings of the 35th Annual Computer Security Applications Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359789.3359799","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359789.3359799","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:07Z","timestamp":1750202587000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359789.3359799"}},"subtitle":["a tagged-pointer capability system with memory safety applications"],"short-title":[],"issued":{"date-parts":[[2019,12,9]]},"references-count":63,"alternative-id":["10.1145\/3359789.3359799","10.1145\/3359789"],"URL":"https:\/\/doi.org\/10.1145\/3359789.3359799","relation":{},"subject":[],"published":{"date-parts":[[2019,12,9]]},"assertion":[{"value":"2019-12-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}