{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T04:36:17Z","timestamp":1780634177495,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,3,27]],"date-time":"2023-03-27T00:00:00Z","timestamp":1679875200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100003185","name":"Fraunhofer-Gesellschaft","doi-asserted-by":"publisher","award":["PREPARE 840 231"],"award-info":[{"award-number":["PREPARE 840 231"]}],"id":[{"id":"10.13039\/501100003185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,3,27]]},"DOI":"10.1145\/3555776.3577635","type":"proceedings-article","created":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T17:16:29Z","timestamp":1686158189000},"page":"1530-1539","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["CryptSan: Leveraging ARM Pointer Authentication for Memory Safety in C\/C++"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2283-6071","authenticated-orcid":false,"given":"Konrad","family":"Hohentanner","sequence":"first","affiliation":[{"name":"Fraunhofer AISEC, Garching near Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9658-1572","authenticated-orcid":false,"given":"Philipp","family":"Zieris","sequence":"additional","affiliation":[{"name":"Fraunhofer AISEC, Garching near Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9018-7048","authenticated-orcid":false,"given":"Julian","family":"Horsch","sequence":"additional","affiliation":[{"name":"Fraunhofer AISEC, Garching near Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"USENIX Security","author":"Akritidis Periklis","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 USENIX Security . USENIX Association . 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 USENIX Security. USENIX Association."},{"key":"e_1_3_2_1_2_1","unstructured":"Apple. 2021. Preparing Your App to Work with Pointer Authentication. https:\/\/developer.apple.com\/documentation\/security\/preparing_your_app_to_work_with_pointer_authentication. Accessed: 2022-12-28.  Apple. 2021. Preparing Your App to Work with Pointer Authentication. https:\/\/developer.apple.com\/documentation\/security\/preparing_your_app_to_work_with_pointer_authentication. Accessed: 2022-12-28."},{"key":"e_1_3_2_1_3_1","unstructured":"ARM Limited. 2019. ARM Architecture Reference Manual - ARMv8-A for ARMv8-A architecture profile. ARM DDI 0487E.a (ID070919).  ARM Limited. 2019. ARM Architecture Reference Manual - ARMv8-A for ARMv8-A architecture profile. ARM DDI 0487E.a (ID070919)."},{"key":"e_1_3_2_1_4_1","volume-title":"Sohi","author":"Austin Todd M.","year":"1994","unstructured":"Todd M. Austin , Scott E. Breach , and Gurindar S . Sohi . 1994 . Efficient Detection of All Pointer and Array Access Errors. In PLDI. ACM. Todd M. Austin, Scott E. Breach, and Gurindar S. Sohi. 1994. Efficient Detection of All Pointer and Array Access Errors. In PLDI. ACM."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Derek Bruening and Qin Zhao. 2011. Practical Memory Checking with Dr. Memory. In CGO. ACM.  Derek Bruening and Qin Zhao. 2011. Practical Memory Checking with Dr. Memory. In CGO. ACM.","DOI":"10.1109\/CGO.2011.5764689"},{"key":"e_1_3_2_1_6_1","volume-title":"Control-Flow Integrity: Precision, Security, and Performance. Comput. Surveys 50, 1","author":"Burow Nathan","year":"2017","unstructured":"Nathan Burow , Scott A. Carr , Joseph Nash , Per Larsen , Michael Franz , Stefan Brunthaler , and Mathias Payer . 2017. Control-Flow Integrity: Precision, Security, and Performance. Comput. Surveys 50, 1 ( 2017 ). Nathan Burow, Scott A. Carr, Joseph Nash, Per Larsen, Michael Franz, Stefan Brunthaler, and Mathias Payer. 2017. Control-Flow Integrity: Precision, Security, and Performance. Comput. Surveys 50, 1 (2017)."},{"key":"e_1_3_2_1_7_1","volume-title":"CUP: Comprehensive User-Space Protection for C\/C++. In ASIACCS. ACM.","author":"Burow Nathan","year":"2018","unstructured":"Nathan Burow , Derrick McKee , Scott A. Carr , and Mathias Payer . 2018 . CUP: Comprehensive User-Space Protection for C\/C++. In ASIACCS. ACM. Nathan Burow, Derrick McKee, Scott A. Carr, and Mathias Payer. 2018. CUP: Comprehensive User-Space Protection for C\/C++. In ASIACCS. ACM."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Nathan Burow Xinping Zhang and Mathias Payer. 2019. SoK: Shining Light on Shadow Stacks. In S&P. IEEE.  Nathan Burow Xinping Zhang and Mathias Payer. 2019. SoK: Shining Light on Shadow Stacks. In S&P. IEEE.","DOI":"10.1109\/SP.2019.00076"},{"key":"e_1_3_2_1_9_1","volume-title":"Un-dangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities. In ISSTA. ACM.","author":"Caballero Juan","year":"2012","unstructured":"Juan Caballero , Gustavo Grieco , Mark Marron , and Antonio Nappa . 2012 . Un-dangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities. In ISSTA. ACM. Juan Caballero, Gustavo Grieco, Mark Marron, and Antonio Nappa. 2012. Un-dangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities. In ISSTA. ACM."},{"key":"e_1_3_2_1_10_1","unstructured":"MITRE Corporation. 2022. 2022 CWE Top 25 Most Dangerous Software Errors. https:\/\/cwe.mitre.org\/top25\/archive\/2022\/2022_cwe_top25.html. Accessed: 2022-12-28.  MITRE Corporation. 2022. 2022 CWE Top 25 Most Dangerous Software Errors. https:\/\/cwe.mitre.org\/top25\/archive\/2022\/2022_cwe_top25.html. Accessed: 2022-12-28."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Dinakar Dhurjati and Vikram Adve. 2006. Backwards-Compatible Array Bounds Checking for C with Very Low Overhead. In ICSE. ACM.  Dinakar Dhurjati and Vikram Adve. 2006. Backwards-Compatible Array Bounds Checking for C with Very Low Overhead. In ICSE. ACM.","DOI":"10.1145\/1134285.1134309"},{"key":"e_1_3_2_1_12_1","volume-title":"Efficiently Detecting All Dangling Pointer Uses in Production Servers","author":"Dhurjati Dinakar","unstructured":"Dinakar Dhurjati and Vikram Adve . 2006. Efficiently Detecting All Dangling Pointer Uses in Production Servers . In DSN. IEEE. Dinakar Dhurjati and Vikram Adve. 2006. Efficiently Detecting All Dangling Pointer Uses in Production Servers. In DSN. IEEE."},{"key":"e_1_3_2_1_13_1","volume-title":"Yap","author":"Duck Gregory J.","year":"2016","unstructured":"Gregory J. Duck and Roland H. C . Yap . 2016 . Heap Bounds Protection with Low Fat Pointers. In CC. ACM. Gregory J. Duck and Roland H. C. Yap. 2016. Heap Bounds Protection with Low Fat Pointers. In CC. ACM."},{"key":"e_1_3_2_1_14_1","volume-title":"Stack Bounds Protection with Low Fat Pointers","author":"Duck Gregory J.","unstructured":"Gregory J. Duck , Roland H. C. Yap , and Lorenzo Cavallaro . 2017. Stack Bounds Protection with Low Fat Pointers . In NDSS. Internet Society . Gregory J. Duck, Roland H. C. Yap, and Lorenzo Cavallaro. 2017. Stack Bounds Protection with Low Fat Pointers. In NDSS. Internet Society."},{"key":"e_1_3_2_1_15_1","volume-title":"30th USENIX Security Symposium (USENIX) Security 21","author":"Farkhani Reza Mirzazade","year":"2021","unstructured":"Reza Mirzazade Farkhani , Mansour Ahmadi , and Long Lu . 2021 . PTAuth: Temporal Memory Safety via Robust Points-to Authentication . In 30th USENIX Security Symposium (USENIX) Security 21 . Reza Mirzazade Farkhani, Mansour Ahmadi, and Long Lu. 2021. PTAuth: Temporal Memory Safety via Robust Points-to Authentication. In 30th USENIX Security Symposium (USENIX) Security 21."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Niranjan Hasabnis Ashish Misra and R. Sekar. 2012. Light-Weight Bounds Checking. In CGO. ACM.  Niranjan Hasabnis Ashish Misra and R. Sekar. 2012. Light-Weight Bounds Checking. In CGO. ACM.","DOI":"10.1145\/2259016.2259034"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the","author":"Hastings Reed","year":"1991","unstructured":"Reed Hastings and Bob Joyce . 1991 . Purify: Fast Detection of Memory Leaks and Access Errors . In Proceedings of the Winter 1992 USENIX Conference. USENIX Association. Reed Hastings and Bob Joyce. 1991. Purify: Fast Detection of Memory Leaks and Access Errors. In Proceedings of the Winter 1992 USENIX Conference. USENIX Association."},{"key":"e_1_3_2_1_18_1","volume-title":"Tightly Seal Your Sensitive Pointers with PACTight. In 31st USENIX Security Symposium (USENIX Security 22)","author":"Ismail Mohannad","year":"2022","unstructured":"Mohannad Ismail , Andrew Quach , Christopher Jelesnianski , Yeongjin Jang , and Changwoo Min . 2022 . Tightly Seal Your Sensitive Pointers with PACTight. In 31st USENIX Security Symposium (USENIX Security 22) . USENIX Association. Mohannad Ismail, Andrew Quach, Christopher Jelesnianski, Yeongjin Jang, and Changwoo Min. 2022. Tightly Seal Your Sensitive Pointers with PACTight. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association."},{"key":"e_1_3_2_1_19_1","volume-title":"Cyclone: A Safe Dialect of C","author":"Jim Trevor","year":"2002","unstructured":"Trevor Jim , Greg Morrisett , Dan Grossman , Michael Hicks , James Cheney , and Yanling Wang . 2002 . Cyclone: A Safe Dialect of C . In USENIX ATC. USENIX Association . Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. 2002. Cyclone: A Safe Dialect of C. In USENIX ATC. USENIX Association."},{"key":"e_1_3_2_1_20_1","volume-title":"Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs","author":"Jones Richard W M","unstructured":"Richard W M Jones and Paul H J Kelly . 1997. Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs . In AADEBUG. Link\u00f6ping University Electronic Press . Richard W M Jones and Paul H J Kelly. 1997. Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. In AADEBUG. Link\u00f6ping University Electronic Press."},{"key":"e_1_3_2_1_21_1","volume-title":"Code-Pointer Integrity","author":"Kuznetsov Volodymyr","unstructured":"Volodymyr Kuznetsov , L\u00e1szl\u00f3 Szekeres , Mathias Payer , George Candea , R. Sekar , and Dawn Song . 2014. Code-Pointer Integrity . In OSDI. USENIX Association . Volodymyr Kuznetsov, L\u00e1szl\u00f3 Szekeres, Mathias Payer, George Candea, R. Sekar, and Dawn Song. 2014. Code-Pointer Integrity. In OSDI. USENIX Association."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Per Larsen Andrei Homescu Stefan Brunthaler and Michael Franz. 2014. SoK: Automated Software Diversity. In S&P. IEEE.  Per Larsen Andrei Homescu Stefan Brunthaler and Michael Franz. 2014. SoK: Automated Software Diversity. In S&P. IEEE.","DOI":"10.1109\/SP.2014.25"},{"key":"e_1_3_2_1_23_1","volume-title":"Preventing Use-After-Free with Dangling Pointers Nullification","author":"Lee Byoungyoung","unstructured":"Byoungyoung Lee , Chengyu Song , Yeongjin Jang , Tielei Wang , Taesoo Kim , Long Lu , and Wenke Lee . 2015. Preventing Use-After-Free with Dangling Pointers Nullification . In NDSS. Internet Society . Byoungyoung Lee, Chengyu Song, Yeongjin Jang, Tielei Wang, Taesoo Kim, Long Lu, and Wenke Lee. 2015. Preventing Use-After-Free with Dangling Pointers Nullification. In NDSS. Internet Society."},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security.","author":"Li Yuan","year":"2022","unstructured":"Yuan Li , Wende Tan , Zhizheng Lv , Songtao Yang , Mathias Payer , Ying Liu , and Chao Zhang . 2022 . PACMem: Enforcing Spatial and Temporal Memory Safety via ARM Pointer Authentication . In Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Yuan Li, Wende Tan, Zhizheng Lv, Songtao Yang, Mathias Payer, Ying Liu, and Chao Zhang. 2022. PACMem: Enforcing Spatial and Temporal Memory Safety via ARM Pointer Authentication. In Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Hans Liljestrand Zaheer Gauhar Thomas Nyman Jan-Erik Ekberg and N. Asokan. 2019. Protecting the Stack with PACed Canaries. Association for Computing Machinery.  Hans Liljestrand Zaheer Gauhar Thomas Nyman Jan-Erik Ekberg and N. Asokan. 2019. Protecting the Stack with PACed Canaries. Association for Computing Machinery.","DOI":"10.1145\/3342559.3365336"},{"key":"e_1_3_2_1_26_1","unstructured":"Hans Liljestrand Thomas Nyman Lachlan J. Gunn Jan-Erik Ekberg and N. Asokan. 2021. PACStack: An Authenticated Call Stack. In USENIX Security. USENIX Association.  Hans Liljestrand Thomas Nyman Lachlan J. Gunn Jan-Erik Ekberg and N. Asokan. 2021. PACStack: An Authenticated Call Stack. In USENIX Security. USENIX Association."},{"key":"e_1_3_2_1_27_1","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Liljestrand Hans","unstructured":"Hans Liljestrand , Thomas Nyman , Kui Wang , Carlos Chinea Perez , Jan-Erik Ekberg , and N. Asokan . 2019. PAC it up: Towards Pointer Integrity using ARM Pointer Authentication . In 28th USENIX Security Symposium (USENIX Security 19) . USENIX Association. Hans Liljestrand, Thomas Nyman, Kui Wang, Carlos Chinea Perez, Jan-Erik Ekberg, and N. Asokan. 2019. PAC it up: Towards Pointer Integrity using ARM Pointer Authentication. In 28th USENIX Security Symposium (USENIX Security 19). USENIX Association."},{"key":"e_1_3_2_1_28_1","volume-title":"CETS: Compiler Enforced Temporal Safety for C. In ISMM. ACM.","author":"Nagarakatte Santosh","year":"2010","unstructured":"Santosh Nagarakatte , Jianzhou Zhao , Milo M.K. Martin , and Steve Zdancewic . 2010 . CETS: Compiler Enforced Temporal Safety for C. In ISMM. ACM. Santosh Nagarakatte, Jianzhou Zhao, Milo M.K. Martin, and Steve Zdancewic. 2010. CETS: Compiler Enforced Temporal Safety for C. In ISMM. ACM."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Santosh Nagarakatte Jianzhou Zhao Milo M. K. Martin and Steve Zdancewic. 2009. SoftBound: Highly Compatible and Complete Spatial Memory Safety for C. In PLDI. ACM.  Santosh Nagarakatte Jianzhou Zhao Milo M. K. Martin and Steve Zdancewic. 2009. SoftBound: Highly Compatible and Complete Spatial Memory Safety for C. In PLDI. ACM.","DOI":"10.1145\/1542476.1542504"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"George C. Necula Scott McPeak and Westley Weimer. 2002. CCured: Type-Safe Retrofitting of Legacy Code. In POPL. ACM.  George C. Necula Scott McPeak and Westley Weimer. 2002. CCured: Type-Safe Retrofitting of Legacy Code. In POPL. ACM.","DOI":"10.1145\/503272.503286"},{"key":"e_1_3_2_1_31_1","volume-title":"Concurrent Checking of Pointer and Array Accesses in C Programs. Software: Practics and Experience 27, 1","author":"Patil Harish","year":"1997","unstructured":"Harish Patil and Charles Fischer . 1997. Low-Cost , Concurrent Checking of Pointer and Array Accesses in C Programs. Software: Practics and Experience 27, 1 ( 1997 ). Harish Patil and Charles Fischer. 1997. Low-Cost, Concurrent Checking of Pointer and Array Accesses in C Programs. Software: Practics and Experience 27, 1 (1997)."},{"key":"e_1_3_2_1_32_1","unstructured":"Bruce Perens. 1999. Electric Fence Malloc Debugger. https:\/\/linux.die.net\/man\/3\/libefence. Accessed: 2022-12-28.  Bruce Perens. 1999. Electric Fence Malloc Debugger. https:\/\/linux.die.net\/man\/3\/libefence. Accessed: 2022-12-28."},{"key":"e_1_3_2_1_33_1","unstructured":"Qualcomm Technologies Inc. 2017. Pointer Authentication on ARMv8.3. https:\/\/www.qualcomm.com\/media\/documents\/files\/whitepaper-pointer-authentication-on-armv8-3.pdf.  Qualcomm Technologies Inc. 2017. Pointer Authentication on ARMv8.3. https:\/\/www.qualcomm.com\/media\/documents\/files\/whitepaper-pointer-authentication-on-armv8-3.pdf."},{"key":"e_1_3_2_1_34_1","volume-title":"Lam","author":"Ruwase Olatunji","year":"2004","unstructured":"Olatunji Ruwase and Monica S . Lam . 2004 . A Practical Dynamic Buffer Overflow Detector. In NDSS. Internet Society . Olatunji Ruwase and Monica S. Lam. 2004. A Practical Dynamic Buffer Overflow Detector. In NDSS. Internet Society."},{"key":"e_1_3_2_1_35_1","volume-title":"AddressSanitizer: A Fast Address Sanity Checker","author":"Serebryany Konstantin","unstructured":"Konstantin Serebryany , Derek Bruening , Alexander Potapenko , and Dmitry Vyukov . 2012. AddressSanitizer: A Fast Address Sanity Checker . In USENIX ATC. USENIX Association . Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitry Vyukov. 2012. AddressSanitizer: A Fast Address Sanity Checker. In USENIX ATC. USENIX Association."},{"key":"e_1_3_2_1_36_1","unstructured":"Kostya Serebryany Evgenii Stepanov Aleksey Shlyapnikov Vlad Tsyrklevich and Dmitry Vyukov. 2018. Memory Tagging and How it Improves C\/C++ Memory Safety. arXiv. Google LLC.  Kostya Serebryany Evgenii Stepanov Aleksey Shlyapnikov Vlad Tsyrklevich and Dmitry Vyukov. 2018. Memory Tagging and How it Improves C\/C++ Memory Safety. arXiv. Google LLC."},{"key":"e_1_3_2_1_37_1","volume-title":"Using Valgrind to Detect Undefined Value Errors with Bit-Precision","author":"Seward Julian","unstructured":"Julian Seward and Nicholas Nethercote . 2005. Using Valgrind to Detect Undefined Value Errors with Bit-Precision . In USENIX ATC. USENIX Association . Julian Seward and Nicholas Nethercote. 2005. Using Valgrind to Detect Undefined Value Errors with Bit-Precision. In USENIX ATC. USENIX Association."},{"key":"e_1_3_2_1_38_1","volume-title":"Adding Run-Time Checking to the Portable C Compiler. Software: Practice and Experience 22, 4","author":"Steffen Joseph L.","year":"1992","unstructured":"Joseph L. Steffen . 1992. Adding Run-Time Checking to the Portable C Compiler. Software: Practice and Experience 22, 4 ( 1992 ). Joseph L. Steffen. 1992. Adding Run-Time Checking to the Portable C Compiler. Software: Practice and Experience 22, 4 (1992)."},{"key":"e_1_3_2_1_39_1","volume-title":"Proceedings of the 16th International Conference on Availability, Reliability and Security (ARES '21)","author":"Vintila Emanuel Q.","year":"2021","unstructured":"Emanuel Q. Vintila , Philipp Zieris , and Julian Horsch . 2021 . MESH: A Memory-Efficient Safe Heap for C\/C++ . In Proceedings of the 16th International Conference on Availability, Reliability and Security (ARES '21) . ACM, New York, NY, USA, 10. Emanuel Q. Vintila, Philipp Zieris, and Julian Horsch. 2021. MESH: A Memory-Efficient Safe Heap for C\/C++. In Proceedings of the 16th International Conference on Availability, Reliability and Security (ARES '21). ACM, New York, NY, USA, 10."},{"key":"e_1_3_2_1_40_1","volume-title":"CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization. In 2015 IEEE Symposium on Security and Privacy.","author":"Watson Robert N.M.","year":"2015","unstructured":"Robert N.M. Watson , Jonathan Woodruff , Peter G. Neumann , Simon W. Moore , Jonathan Anderson , David Chisnall , Nirav Dave , Brooks Davis , Khilan Gudka , Ben Laurie , Steven J. Murdoch , Robert Norton , Michael Roe , Stacey Son , and Munraj Vadera . 2015 . CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization. In 2015 IEEE Symposium on Security and Privacy. Robert N.M. Watson, Jonathan Woodruff, Peter G. Neumann, Simon W. Moore, Jonathan Anderson, David Chisnall, Nirav Dave, Brooks Davis, Khilan Gudka, Ben Laurie, Steven J. Murdoch, Robert Norton, Michael Roe, Stacey Son, and Munraj Vadera. 2015. CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization. In 2015 IEEE Symposium on Security and Privacy."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Wei Xu Daniel C. DuVarney and R. Sekar. 2004. An Efficient and Backwards-Compatible Transformation to Ensure Memory Safety of C Programs. In FSE. ACM.  Wei Xu Daniel C. DuVarney and R. Sekar. 2004. An Efficient and Backwards-Compatible Transformation to Ensure Memory Safety of C Programs. In FSE. ACM.","DOI":"10.1145\/1029894.1029913"},{"key":"e_1_3_2_1_42_1","volume-title":"FreeSentry: Protecting Against Use-After-Free Vulnerabilities Due to Dangling Pointers","author":"Younan Yves","unstructured":"Yves Younan . 2015. FreeSentry: Protecting Against Use-After-Free Vulnerabilities Due to Dangling Pointers . In NDSS. Internet Society . Yves Younan. 2015. FreeSentry: Protecting Against Use-After-Free Vulnerabilities Due to Dangling Pointers. In NDSS. Internet Society."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"Yves Younan Pieter Philippaerts Lorenzo Cavallaro R. Sekar Frank Piessens and Wouter Joosen. 2010. PAriCheck: An Efficient Pointer Arithmetic Checker for C Programs. In ASIACCS. ACM.  Yves Younan Pieter Philippaerts Lorenzo Cavallaro R. Sekar Frank Piessens and Wouter Joosen. 2010. PAriCheck: An Efficient Pointer Arithmetic Checker for C Programs. In ASIACCS. ACM.","DOI":"10.1145\/1755688.1755707"}],"event":{"name":"SAC '23: 38th ACM\/SIGAPP Symposium on Applied Computing","location":"Tallinn Estonia","acronym":"SAC '23","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 38th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577635","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3555776.3577635","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:23Z","timestamp":1750183703000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577635"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,27]]},"references-count":43,"alternative-id":["10.1145\/3555776.3577635","10.1145\/3555776"],"URL":"https:\/\/doi.org\/10.1145\/3555776.3577635","relation":{},"subject":[],"published":{"date-parts":[[2023,3,27]]},"assertion":[{"value":"2023-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}