{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T16:14:25Z","timestamp":1783008865181,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2021YFB2701000"],"award-info":[{"award-number":["2021YFB2701000"]}]},{"name":"Beijing National Research Center For Information Science And Technology","award":["BNR2022RC01006"],"award-info":[{"award-number":["BNR2022RC01006"]}]},{"name":"European Research Council (ERC)","award":["850868"],"award-info":[{"award-number":["850868"]}]},{"name":"National Natural Science Foundation of China","award":["61972224"],"award-info":[{"award-number":["61972224"]}]},{"name":"Swiss National Science Foundation (SNSF)","award":["PCEGP2_186974"],"award-info":[{"award-number":["PCEGP2_186974"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3548606.3560598","type":"proceedings-article","created":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T11:41:28Z","timestamp":1667821288000},"page":"1901-1915","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":35,"title":["PACMem"],"prefix":"10.1145","author":[{"given":"Yuan","family":"Li","sequence":"first","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wende","family":"Tan","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhizheng","family":"Lv","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Songtao","family":"Yang","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mathias","family":"Payer","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ying","family":"Liu","sequence":"additional","affiliation":[{"name":"Tsinghua University & Zhongguancun Lab, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chao","family":"Zhang","sequence":"additional","affiliation":[{"name":"Tsinghua University & Zhongguancun Lab, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2017. Juliet Test Suite for C\/C. https:\/\/samate.nist.gov\/SRD\/testsuites\/juliet\/ Juliet_Test_Suite_v1.3_for_C_Cpp.zip.  2017. Juliet Test Suite for C\/C. https:\/\/samate.nist.gov\/SRD\/testsuites\/juliet\/ Juliet_Test_Suite_v1.3_for_C_Cpp.zip."},{"key":"e_1_3_2_1_2_1","unstructured":"2019. Google queue hardening. https:\/\/security.googleblog.com\/2019\/05\/queue- hardening-enhancements.html.  2019. Google queue hardening. https:\/\/security.googleblog.com\/2019\/05\/queue- hardening-enhancements.html."},{"key":"e_1_3_2_1_3_1","unstructured":"2020. Fixed Virtual Platforms. https:\/\/developer.arm.com\/tools-and-software\/ simulation-models\/fixed-virtual-platforms.  2020. Fixed Virtual Platforms. https:\/\/developer.arm.com\/tools-and-software\/ simulation-models\/fixed-virtual-platforms."},{"key":"e_1_3_2_1_4_1","unstructured":"Saar Amar. [n.d.]. Introduction to Firebloom. https:\/\/saaramar.github.io\/iBoot_ firebloom\/.  Saar Amar. [n.d.]. Introduction to Firebloom. https:\/\/saaramar.github.io\/iBoot_ firebloom\/."},{"key":"e_1_3_2_1_5_1","unstructured":"Apple. [n.d.]. Memory safe iBoot implementation. https:\/\/support.apple.com\/en- il\/guide\/security\/sec30d8d9ec1\/web.  Apple. [n.d.]. Memory safe iBoot implementation. https:\/\/support.apple.com\/en- il\/guide\/security\/sec30d8d9ec1\/web."},{"key":"e_1_3_2_1_6_1","unstructured":"ARM. [n.d.]. ARM Morello Program. https:\/\/www.arm.com\/architecture\/cpu\/morello.  ARM. [n.d.]. ARM Morello Program. https:\/\/www.arm.com\/architecture\/cpu\/morello."},{"key":"e_1_3_2_1_7_1","unstructured":"ARM. [n.d.]. Getting started with your FVP. https:\/\/community.arm.com\/ developer\/tools-software\/oss-platforms\/w\/docs\/509\/fvps.  ARM. [n.d.]. Getting started with your FVP. https:\/\/community.arm.com\/ developer\/tools-software\/oss-platforms\/w\/docs\/509\/fvps."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34931-7_28"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178446"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Roberto Avanzi. 2017. The QARMA block cipher family. Almost MDS matrices over rings with zero divisors nearly symmetric even-mansour constructions with non-involutory central rounds and search heuristics for low-latency s-boxes. IACR Transactions on Symmetric Cryptology (2017) 4--44.  Roberto Avanzi. 2017. The QARMA block cipher family. Almost MDS matrices over rings with zero divisors nearly symmetric even-mansour constructions with non-involutory central rounds and search heuristics for low-latency s-boxes. IACR Transactions on Symmetric Cryptology (2017) 4--44.","DOI":"10.46586\/tosc.v2017.i1.4-44"},{"key":"e_1_3_2_1_11_1","unstructured":"Steve Bannister. 2019. Memory Tagging Extension: Enhancing memory safety through architecture. https:\/\/community.arm.com\/developer\/ip-products\/processors\/b\/processors-ip-blog\/posts\/enhancing-memory-safety.  Steve Bannister. 2019. Memory Tagging Extension: Enhancing memory safety through architecture. https:\/\/community.arm.com\/developer\/ip-products\/processors\/b\/processors-ip-blog\/posts\/enhancing-memory-safety."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336769"},{"key":"e_1_3_2_1_13_1","volume-title":"Oscar: A practical page-permissions-based scheme for thwarting dangling pointers. In 26th {USENIX} Security Symposium ({USENIX} Security 17). 815--832.","author":"Dang Thurston HY","year":"2017","unstructured":"Thurston HY Dang , Petros Maniatis , and David Wagner . 2017 . Oscar: A practical page-permissions-based scheme for thwarting dangling pointers. In 26th {USENIX} Security Symposium ({USENIX} Security 17). 815--832. Thurston HY Dang, Petros Maniatis, and David Wagner. 2017. Oscar: A practical page-permissions-based scheme for thwarting dangling pointers. In 26th {USENIX} Security Symposium ({USENIX} Security 17). 815--832."},{"key":"e_1_3_2_1_14_1","unstructured":"LLVM Developers. 2017. Undefined behavior sanitizer.  LLVM Developers. 2017. Undefined behavior sanitizer."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353535.1346295"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134309"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892212"},{"key":"e_1_3_2_1_18_1","volume-title":"Roland HC Yap, and Lorenzo Cavallaro","author":"Duck Gregory J","year":"2017","unstructured":"Gregory J Duck , Roland HC Yap, and Lorenzo Cavallaro . 2017 . Stack Bounds Protection with Low Fat Pointers.. In NDSS. Gregory J Duck, Roland HC Yap, and Lorenzo Cavallaro. 2017. Stack Bounds Protection with Low Fat Pointers.. In NDSS."},{"key":"e_1_3_2_1_19_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_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00098"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978405"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2905760.2905766"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23312"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428334"},{"key":"e_1_3_2_1_25_1","unstructured":"APPLE INC. 2018. iOS Security - iOS 12. https:\/\/www.apple.com\/business\/site\/ docs\/iOS_Security_Guide.pdf.  APPLE INC. 2018. iOS Security - iOS 12. https:\/\/www.apple.com\/business\/site\/ docs\/iOS_Security_Guide.pdf."},{"key":"e_1_3_2_1_26_1","volume-title":"HexType: Efficient Detection of Type Confusion Errors for C. In ACM Conference on Computer and Communication Security. https:\/\/doi.org\/10","author":"Jeon Yuseok","year":"2017","unstructured":"Yuseok Jeon , Priyam Biswas , Scott A. Carr , Byoungyoung Lee , and Mathias Payer . 2017 . HexType: Efficient Detection of Type Confusion Errors for C. In ACM Conference on Computer and Communication Security. https:\/\/doi.org\/10 .1145\/ 3133956.3134062 Yuseok Jeon, Priyam Biswas, Scott A. Carr, Byoungyoung Lee, and Mathias Payer. 2017. HexType: Efficient Detection of Type Confusion Errors for C. In ACM Conference on Computer and Communication Security. https:\/\/doi.org\/10.1145\/ 3133956.3134062"},{"key":"e_1_3_2_1_27_1","volume-title":"AADEBUG","volume":"97","author":"Jones Richard WM","year":"1997","unstructured":"Richard WM Jones and Paul HJ Kelly . 1997 . Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs .. In AADEBUG , Vol. 97 . Citeseer, 13--26. Richard WM Jones and Paul HJ Kelly. 1997. Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs.. In AADEBUG, Vol. 97. Citeseer, 13--26."},{"key":"e_1_3_2_1_28_1","volume-title":"Hardware-based Always-On Heap Memory Safety. In 2020 53rd Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO). IEEE, 1153--1166","author":"Kim Yonghae","year":"2020","unstructured":"Yonghae Kim , Jaekyu Lee , and Hyesoon Kim . 2020 . Hardware-based Always-On Heap Memory Safety. In 2020 53rd Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO). IEEE, 1153--1166 . Yonghae Kim, Jaekyu Lee, and Hyesoon Kim. 2020. Hardware-based Always-On Heap Memory Safety. In 2020 53rd Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO). IEEE, 1153--1166."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064192"},{"key":"e_1_3_2_1_30_1","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.  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."},{"key":"e_1_3_2_1_31_1","volume-title":"Jan-Erik Ekberg, and N Asokan.","author":"Liljestrand Hans","year":"2019","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} Secu- rity 19). 177--194. 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} Secu- rity 19). 177--194."},{"key":"e_1_3_2_1_32_1","unstructured":"M. Miller. 2019. Trends challenges and strategic shifts in the software vulnerability mitigation landscape. https:\/\/github.com\/microsoft\/MSRC- Security-Research\/blob\/master\/presentations\/2019_02_BlueHatIL\/2019_01%20- %20BlueHatIL%20-%20Trends%2C%20challenge%2C%20and%20shifts%20in% 20software%20vulnerability%20mitigation.pdf.  M. Miller. 2019. Trends challenges and strategic shifts in the software vulnerability mitigation landscape. https:\/\/github.com\/microsoft\/MSRC- Security-Research\/blob\/master\/presentations\/2019_02_BlueHatIL\/2019_01%20- %20BlueHatIL%20-%20Trends%2C%20challenge%2C%20and%20shifts%20in% 20software%20vulnerability%20mitigation.pdf."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2012.6237017"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542504"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806651.1806657"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/250900.250910"},{"key":"e_1_3_2_1_38_1","volume-title":"Qualcomm Technologies","author":"Inc.","year":"2017","unstructured":"Inc. Qualcomm Technologies . 2017 . Pointer Authentication on ARMv 8.3. https:\/\/www.qualcomm.com\/media\/documents\/files\/whitepaper-pointer-authentication-on-armv8-3.pdf. Inc. Qualcomm Technologies. 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_39_1","unstructured":"Ramu Ramakesavan Dan Zimmerman Pavithra Singaravelu George Kuan Brian Vajda Scott Gibbons and Gautham Beeraka. 2016. Intel memory protection extensions enabling guide.  Ramu Ramakesavan Dan Zimmerman Pavithra Singaravelu George Kuan Brian Vajda Scott Gibbons and Gautham Beeraka. 2016. Intel memory protection extensions enabling guide."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2133375.2133377"},{"key":"e_1_3_2_1_41_1","volume-title":"NDSS","volume":"2004","author":"Ruwase Olatunji","year":"2004","unstructured":"Olatunji Ruwase and Monica S Lam . 2004 . A Practical Dynamic Buffer Overflow Detector .. In NDSS , Vol. 2004 . 159--169. Olatunji Ruwase and Monica S Lam. 2004. A Practical Dynamic Buffer Overflow Detector.. In NDSS, Vol. 2004. 159--169."},{"key":"e_1_3_2_1_42_1","unstructured":"Konstantin Serebryany Derek Bruening Alexander Potapenko and Dmitriy Vyukov. 2012. AddressSanitizer: A fast address sanity checker. In Presented as part of the 2012 {USENIX} Annual Technical Conference ({USENIX} {ATC} 12). 309--318.  Konstantin Serebryany Derek Bruening Alexander Potapenko and Dmitriy Vyukov. 2012. AddressSanitizer: A fast address sanity checker. In Presented as part of the 2012 {USENIX} Annual Technical Conference ({USENIX} {ATC} 12). 309--318."},{"key":"e_1_3_2_1_43_1","volume-title":"Memory Tagging and how it improves C\/C memory safety. arXiv preprint arXiv:1802.09517","author":"Serebryany Kostya","year":"2018","unstructured":"Kostya Serebryany , Evgenii Stepanov , Aleksey Shlyapnikov , Vlad Tsyrklevich , and Dmitry Vyukov . 2018. Memory Tagging and how it improves C\/C memory safety. arXiv preprint arXiv:1802.09517 ( 2018 ). Kostya Serebryany, Evgenii Stepanov, Aleksey Shlyapnikov, Vlad Tsyrklevich, and Dmitry Vyukov. 2018. Memory Tagging and how it improves C\/C memory safety. arXiv preprint arXiv:1802.09517 (2018)."},{"key":"e_1_3_2_1_44_1","volume-title":"USENIX Annual Technical Conference, General Track. 17--30","author":"Seward Julian","year":"2005","unstructured":"Julian Seward and Nicholas Nethercote . 2005 . Using Valgrind to Detect Undefined Value Errors with Bit-Precision .. In USENIX Annual Technical Conference, General Track. 17--30 . Julian Seward and Nicholas Nethercote. 2005. Using Valgrind to Detect Undefined Value Errors with Bit-Precision.. In USENIX Annual Technical Conference, General Track. 17--30."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00010"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.13"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064211"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2019.2914037"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2014.6853201"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446761"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"crossref","unstructured":"Yves Younan. 2015. FreeSentry: protecting against use-after-free vulnerabilities due to dangling pointers.. In NDSS.  Yves Younan. 2015. FreeSentry: protecting against use-after-free vulnerabilities due to dangling pointers.. In NDSS.","DOI":"10.14722\/ndss.2015.23190"},{"key":"e_1_3_2_1_52_1","volume-title":"American fuzzy lop. URL: http:\/\/lcamtuf.coredump.cx\/afl","author":"Zalewski Michal","year":"2017","unstructured":"Michal Zalewski . 2017. American fuzzy lop. URL: http:\/\/lcamtuf.coredump.cx\/afl ( 2017 ). Michal Zalewski. 2017. American fuzzy lop. URL: http:\/\/lcamtuf.coredump.cx\/afl (2017)."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304017"},{"key":"e_1_3_2_1_54_1","volume-title":"ISCA-48: Proceedings of the 48th Annual International Symposium on Computer Architecture, Worldwide Event.","author":"Ibn Ziad Mohamed Tarek","year":"2021","unstructured":"Mohamed Tarek Ibn Ziad , Miguel A Arroyo , Evgeny Manzhosov , Ryan Piersma , and Simha Sethumadhavan . 2021 . No-FAT: Architectural support for low over- head memory safety checks . In ISCA-48: Proceedings of the 48th Annual International Symposium on Computer Architecture, Worldwide Event. Mohamed Tarek Ibn Ziad, Miguel A Arroyo, Evgeny Manzhosov, Ryan Piersma, and Simha Sethumadhavan. 2021. No-FAT: Architectural support for low over- head memory safety checks. In ISCA-48: Proceedings of the 48th Annual International Symposium on Computer Architecture, Worldwide Event."}],"event":{"name":"CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security","location":"Los Angeles CA USA","acronym":"CCS '22","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548606.3560598","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3548606.3560598","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:50:58Z","timestamp":1750182658000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548606.3560598"}},"subtitle":["Enforcing Spatial and Temporal Memory Safety via ARM Pointer Authentication"],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":54,"alternative-id":["10.1145\/3548606.3560598","10.1145\/3548606"],"URL":"https:\/\/doi.org\/10.1145\/3548606.3560598","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}