{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T06:09:05Z","timestamp":1784873345981,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,12,6]],"date-time":"2021-12-06T00:00:00Z","timestamp":1638748800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Key Research and Development Program of Shaanxi","award":["2020GY-004"],"award-info":[{"award-number":["2020GY-004"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61872279"],"award-info":[{"award-number":["61872279"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,12,6]]},"DOI":"10.1145\/3485832.3485900","type":"proceedings-article","created":{"date-parts":[[2021,12,6]],"date-time":"2021-12-06T13:42:32Z","timestamp":1638798152000},"page":"311-322","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["ReCFA: Resilient Control-Flow Attestation"],"prefix":"10.1145","author":[{"given":"Yumei","family":"Zhang","sequence":"first","affiliation":[{"name":"Xidian University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xinzhi","family":"Liu","sequence":"additional","affiliation":[{"name":"Xidian University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cong","family":"Sun","sequence":"additional","affiliation":[{"name":"Xidian University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dongrui","family":"Zeng","sequence":"additional","affiliation":[{"name":"Pennsylvania State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gang","family":"Tan","sequence":"additional","affiliation":[{"name":"Pennsylvania State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiao","family":"Kan","sequence":"additional","affiliation":[{"name":"Xidian University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Siqi","family":"Ma","sequence":"additional","affiliation":[{"name":"The University of Queensland, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,12,6]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. TrustZone technology for ARMv8-M Architecture version 1.0. Available at https:\/\/static.docs.arm.com\/100690\/0100\/armv8_m_architecture_trustzone_technology_100690_0100_00_en.pdf."},{"key":"e_1_3_2_1_2_1","unstructured":"[n.d.]. Zstandard. Available at https:\/\/facebook.github.io\/zstd\/."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1609956.1609960"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Tigist Abera N. Asokan Lucas Davi Jan-Erik Ekberg Thomas Nyman Andrew Paverd Ahmad-Reza Sadeghi and Gene Tsudik. 2016. C-FLAT: Control-Flow Attestation for Embedded Systems Software. In CCS\u201916. 743\u2013754.","DOI":"10.1145\/2976749.2978358"},{"key":"e_1_3_2_1_5_1","volume-title":"DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous Systems. In NDSS\u201919.","author":"Abera Tigist","year":"2019","unstructured":"Tigist Abera, Raad Bahmani, Ferdinand Brasser, Ahmad Ibrahim, Ahmad-Reza Sadeghi, and Matthias Schunter. 2019. DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous Systems. In NDSS\u201919."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, PASTE\u201911","author":"R.","year":"2011","unstructured":"Andrew\u00a0R. Bernat and Barton\u00a0P. Miller. 2011. Anywhere, any-time binary instrumentation. In Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, PASTE\u201911, Szeged, Hungary, September 5-9, 2011, Jeff Foster and Lori\u00a0L. Pollock (Eds.). ACM, 9\u201316."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Erik Buchanan Ryan Roemer Hovav Shacham and Stefan Savage. 2008. When good instructions go bad: generalizing return-oriented programming to RISC. In CCS\u201908. 27\u201338.","DOI":"10.1145\/1455770.1455776"},{"key":"e_1_3_2_1_8_1","volume-title":"Control-Flow Integrity: Precision, Security, and Performance. ACM Comput. Surv. 50, 1","author":"Burow Nathan","year":"2017","unstructured":"Nathan Burow, Scott\u00a0A. Carr, Joseph Nash, Per Larsen, Michael Franz, Stefan Brunthaler, and Mathias Payer. 2017. Control-Flow Integrity: Precision, Security, and Performance. ACM Comput. Surv. 50, 1 (2017), 16:1\u201316:33."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 14th USENIX Security Symposium","author":"Chen Shuo","year":"2005","unstructured":"Shuo Chen, Jun Xu, and Emre\u00a0Can Sezer. 2005. Non-Control-Data Attacks Are Realistic Threats. In Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31 - August 5, 2005. USENIX Association."},{"key":"e_1_3_2_1_10_1","first-page":"86","article-title":"Intel SGX Explained","volume":"2016","author":"Costan Victor","year":"2016","unstructured":"Victor Costan and Srinivas Devadas. 2016. Intel SGX Explained. IACR Cryptology ePrint Archive 2016 (2016), 86.","journal-title":"IACR Cryptology ePrint Archive"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1655108.1655117"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Ghada Dessouky Tigist Abera Ahmad Ibrahim and Ahmad-Reza Sadeghi. 2018. LiteHAX: lightweight hardware-assisted attestation of program execution. In ICCAD\u201918. ACM 106.","DOI":"10.1145\/3240765.3240821"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Ghada Dessouky Shaza Zeitouni Thomas Nyman Andrew Paverd Lucas Davi Patrick Koeberl N. Asokan and Ahmad-Reza Sadeghi. 2017. LO-FAT: Low-Overhead Control Flow ATtestation in Hardware. In DAC\u201917. 24:1\u201324:6.","DOI":"10.1145\/3061639.3062276"},{"key":"e_1_3_2_1_14_1","volume-title":"SP\u201915","author":"Evans Isaac","unstructured":"Isaac Evans, Sam Fingeret, Julian Gonzalez, Ulziibayar Otgonbaatar, Tiffany Tang, Howard\u00a0E. Shrobe, Stelios Sidiroglou-Douskos, Martin Rinard, and Hamed Okhravi. 2015. Missing the Point(er): On the Effectiveness of Code Pointer Integrity. In SP\u201915. IEEE Computer Society, 781\u2013796."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813646"},{"key":"e_1_3_2_1_16_1","volume-title":"PST\u201919","author":"Geden Munir","unstructured":"Munir Geden and Kasper Rasmussen. 2019. Hardware-assisted Remote Runtime Attestation for Critical Embedded Systems. In PST\u201919. IEEE, 1\u201310."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 3rd Conference on Virtual Machine Research And Technology Symposium -","volume":"3","author":"Haldar Vivek","year":"2004","unstructured":"Vivek Haldar, Deepak Chandra, and Michael Franz. 2004. Semantic Remote Attestation: A Virtual Machine Directed Approach to Trusted Computing. In Proceedings of the 3rd Conference on Virtual Machine Research And Technology Symposium - Volume 3 (San Jose, California) (VM\u201904). 3\u20133."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.14722\/diss.2018.23011"},{"key":"e_1_3_2_1_19_1","volume-title":"William\u00a0R. Harris, Taesoo Kim, and Wenke Lee.","author":"Hu Hong","year":"2018","unstructured":"Hong Hu, Chenxiong Qian, Carter Yagemann, Simon Pak\u00a0Ho Chung, William\u00a0R. Harris, Taesoo Kim, and Wenke Lee. 2018. Enforcing Unique Code Target Property for Control-Flow Integrity. In CCS\u201918. ACM, 1470\u20131486."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Jianxing Hu Dongdong Huo Meilin Wang Yazhe Wang Yan Zhang and Yu Li. 2019. A Probability Prediction Based Mutable Control-Flow Attestation Scheme on Embedded Platforms. In TrustCom\/BigDataSE\u201919. 530\u2013537.","DOI":"10.1109\/TrustCom\/BigDataSE.2019.00077"},{"key":"e_1_3_2_1_21_1","volume-title":"LAPE: A Lightweight Attestation of Program Execution Scheme for Bare-Metal Systems. In 22nd IEEE International Conference on High Performance Computing and Communications","author":"Huo Dongdong","year":"2020","unstructured":"Dongdong Huo, Yu Wang, Chao Liu, Mingxuan Li, Yazhe Wang, and Zhen Xu. 2020. LAPE: A Lightweight Attestation of Program Execution Scheme for Bare-Metal Systems. In 22nd IEEE International Conference on High Performance Computing and Communications; 18th IEEE International Conference on Smart City; 6th IEEE International Conference on Data Science and Systems, HPCC\/SmartCity\/DSS 2020. IEEE, 78\u201386."},{"key":"e_1_3_2_1_22_1","volume-title":"https:\/\/software.intel.com\/en-us\/articles\/intel-sdm","author":"Intel Corporation","year":"2016","unstructured":"Intel Corporation. 2016. Intel(R) 64 and IA-32 Architectures Software Developer\u2019s Manual. (2016). https:\/\/software.intel.com\/en-us\/articles\/intel-sdm"},{"key":"e_1_3_2_1_23_1","volume-title":"NDSS\u201921","author":"Kim Sun\u00a0Hyoung","unstructured":"Sun\u00a0Hyoung Kim, Cong Sun, Dongrui Zeng, and Gang Tan. 2021. Refining Indirect Call Targets at the Binary Level. In NDSS\u201921. The Internet Society."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Patrick Koeberl Steffen Schulz Ahmad-Reza Sadeghi and Vijay Varadharajan. 2014. TrustLite: a security architecture for tiny embedded devices. In EuroSys\u201914. 10:1\u201310:14.","DOI":"10.1145\/2592798.2592824"},{"key":"e_1_3_2_1_25_1","volume-title":"Cyberspace Safety and Security - 11th International Symposium, CSS\u201919, Part I(Lecture Notes in Computer Science, Vol.\u00a011982)","author":"Liu Jingbin","unstructured":"Jingbin Liu, Qin Yu, Wei Liu, Shijun Zhao, Dengguo Feng, and Weifeng Luo. 2019. Log-Based Control Flow Attestation for Embedded Devices. In Cyberspace Safety and Security - 11th International Symposium, CSS\u201919, Part I(Lecture Notes in Computer Science, Vol.\u00a011982). Springer, 117\u2013132."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2017.2682318"},{"key":"e_1_3_2_1_27_1","volume-title":"NDSS\u201915","author":"Mohan Vishwath","unstructured":"Vishwath Mohan, Per Larsen, Stefan Brunthaler, Kevin\u00a0W. Hamlen, and Michael Franz. 2015. Opaque Control-Flow Integrity. In NDSS\u201915. The Internet Society."},{"key":"e_1_3_2_1_28_1","volume-title":"RAID\u201918(Lecture Notes in Computer Science, Vol.\u00a011050)","author":"Muntean Paul","unstructured":"Paul Muntean, Matthias Fischer, Gang Tan, Zhiqiang Lin, Jens Grossklags, and Claudia Eckert. 2018. \u03c4CFI: Type-Assisted Control Flow Integrity for x86-64 Binaries. In RAID\u201918(Lecture Notes in Computer Science, Vol.\u00a011050). Springer, 423\u2013444."},{"key":"e_1_3_2_1_29_1","volume-title":"USENIX Security Symposium. 479\u2013494","author":"Noorman Job","year":"2013","unstructured":"Job Noorman, Pieter Agten, Wilfried Daniels, Raoul Strackx, Anthony\u00a0Van 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 USENIX Security Symposium. 479\u2013494."},{"key":"e_1_3_2_1_30_1","volume-title":"USENIX Security Symposium. USENIX Association, 771\u2013788","author":"De\u00a0Oliveira Nunes Ivan","year":"2020","unstructured":"Ivan De\u00a0Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, and Gene Tsudik. 2020. APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. In USENIX Security Symposium. USENIX Association, 771\u2013788."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Ivan De\u00a0Oliveira Nunes Sashidhar Jakkamsetti and Gene Tsudik. 2020. Tiny-CFA: A Minimalistic Approach for Control-Flow Attestation Using Verified Proofs of Execution. CoRR abs\/2011.07400(2020).","DOI":"10.23919\/DATE51398.2021.9474029"},{"key":"e_1_3_2_1_32_1","volume-title":"DIALED: Data Integrity Attestation for Low-end Embedded Devices. CoRR abs\/2103.12928(2021).","author":"De\u00a0Oliveira Nunes Ivan","year":"2021","unstructured":"Ivan De\u00a0Oliveira Nunes, Sashidhar Jakkamsetti, and Gene Tsudik. 2021. DIALED: Data Integrity Attestation for Low-end Embedded Devices. CoRR abs\/2103.12928(2021)."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Mathias Payer Antonio Barresi and Thomas\u00a0R. Gross. 2015. Fine-Grained Control-Flow Integrity Through Binary Hardening. In DIMVA\u201915. 144\u2013164.","DOI":"10.1007\/978-3-319-20550-2_8"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Hovav Shacham. 2007. The geometry of innocent flesh on the bone: return-into-libc without function calls (on the x86). In CCS\u201907. 552\u2013561.","DOI":"10.1145\/1315245.1315313"},{"key":"e_1_3_2_1_35_1","volume-title":"OAT: Attesting Operation Integrity of Embedded Devices. In SP\u201920","author":"Sun Zhichuang","year":"2020","unstructured":"Zhichuang Sun, Bo Feng, Long Lu, and Somesh Jha. 2020. OAT: Attesting Operation Integrity of Embedded Devices. In SP\u201920. IEEE, 1433\u20131449."},{"key":"e_1_3_2_1_36_1","unstructured":"Flavio Toffalini Eleonora Losiouk Andrea Biondo Jianying Zhou and Mauro Conti. 2019. ScaRR: Scalable Runtime Remote Attestation for Complex Systems. In RAID\u201919. 121\u2013134."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Victor van\u00a0der Veen Enes G\u00f6ktas Moritz Contag Andre Pawlowski 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 SP\u201916. 934\u2013953.","DOI":"10.1109\/SP.2016.60"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Minghua Wang Heng Yin Abhishek\u00a0Vasisht Bhaskar Purui Su and Dengguo Feng. 2015. Binary Code Continent: Finer-Grained Control Flow Integrity for Stripped Binaries. In ACSAC\u201915. 331\u2013340.","DOI":"10.1145\/2818000.2818017"},{"key":"e_1_3_2_1_39_1","volume-title":"ATRIUM: Runtime attestation resilient under memory attacks. In ICCAD\u201917. 384\u2013391.","author":"Zeitouni Shaza","year":"2017","unstructured":"Shaza Zeitouni, Ghada Dessouky, Orlando Arias, Dean Sullivan, Ahmad Ibrahim, Yier Jin, and Ahmad-Reza Sadeghi. 2017. ATRIUM: Runtime attestation resilient under memory attacks. In ICCAD\u201917. 384\u2013391."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Dongrui Zeng and Gang Tan. 2018. From Debugging-Information Based Binary-Level Type Inference to CFG Generation. In CODASPY\u201918. 366\u2013376.","DOI":"10.1145\/3176258.3176309"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Chao Zhang Tao Wei Zhaofeng Chen Lei Duan Laszlo Szekeres Stephen McCamant Dawn Song and Wei Zou. 2013. Practical Control Flow Integrity and Randomization for Binary Executables. In SP\u201913. 559\u2013573.","DOI":"10.1109\/SP.2013.44"},{"key":"e_1_3_2_1_42_1","volume-title":"Control Flow Integrity for COTS Binaries. In USENIX Security Symposium. 337\u2013352","author":"Zhang Mingwei","unstructured":"Mingwei Zhang and R. Sekar. 2013. Control Flow Integrity for COTS Binaries. In USENIX Security Symposium. 337\u2013352."}],"event":{"name":"ACSAC '21: Annual Computer Security Applications Conference","location":"Virtual Event USA","acronym":"ACSAC '21"},"container-title":["Annual Computer Security Applications Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3485832.3485900","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3485832.3485900","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T19:17:36Z","timestamp":1755890256000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3485832.3485900"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,6]]},"references-count":42,"alternative-id":["10.1145\/3485832.3485900","10.1145\/3485832"],"URL":"https:\/\/doi.org\/10.1145\/3485832.3485900","relation":{},"subject":[],"published":{"date-parts":[[2021,12,6]]},"assertion":[{"value":"2021-12-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}