{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T18:07:57Z","timestamp":1778609277378,"version":"3.51.4"},"reference-count":78,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA2","license":[{"start":{"date-parts":[[2024,10,8]],"date-time":"2024-10-08T00:00:00Z","timestamp":1728345600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["No.62272217, No.62032010, No.61932021"],"award-info":[{"award-number":["No.62272217, No.62032010, No.61932021"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2024,10,8]]},"abstract":"<jats:p>Dynamic taint analysis (DTA), as a fundamental analysis technique, is widely used in security, privacy, and diagnosis, etc. As DTA demands to collect and analyze massive taint data online, it suffers extremely high runtime overhead. Over the past decades, numerous attempts have been made to lower the overhead of DTA. Unfortunately, the reductions they achieved are marginal, causing DTA only applicable to the debugging\/testing scenarios. In this paper, we propose and implement HardTaint, a system that can realize production-run dynamic taint tracking. HardTaint adopts a hybrid and systematic design which combines static analysis, selective hardware tracing and parallel graph processing techniques. The comprehensive evaluations demonstrate that HardTaint introduces only around 8% runtime overhead which is an order of magnitude lower than the state-of-the-arts, while without sacrificing any taint detection capability.<\/jats:p>","DOI":"10.1145\/3689768","type":"journal-article","created":{"date-parts":[[2024,10,8]],"date-time":"2024-10-08T03:23:04Z","timestamp":1728357784000},"page":"1615-1640","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing"],"prefix":"10.1145","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-7412-5293","authenticated-orcid":false,"given":"Yiyu","family":"Zhang","sequence":"first","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9781-4435","authenticated-orcid":false,"given":"Tianyi","family":"Liu","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-1129-722X","authenticated-orcid":false,"given":"Yueyang","family":"Wang","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3222-8934","authenticated-orcid":false,"given":"Yun","family":"Qi","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5197-0512","authenticated-orcid":false,"given":"Kai","family":"Ji","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2760-9436","authenticated-orcid":false,"given":"Jian","family":"Tang","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9701-9733","authenticated-orcid":false,"given":"Xiaoliang","family":"Wang","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3090-9568","authenticated-orcid":false,"given":"Xuandong","family":"Li","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7104-9918","authenticated-orcid":false,"given":"Zhiqiang","family":"Zuo","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,8]]},"reference":[{"key":"e_1_3_1_2_2","unstructured":"2019. Arm Embedded Trace Macrocell Architecture Specification ETMv4.0 to ETMv4.5."},{"key":"e_1_3_1_3_2","unstructured":"2019. Intel 64 and IA-32 Architectures Software Developer\u2019s Manual Volume 3(3A 3B 3C & 3D): System Programming Guide. Chapter 35: Intel Processor Trace."},{"key":"e_1_3_1_4_2","unstructured":"2022. OpenBenchmarking. https:\/\/openbenchmarking.org\/."},{"key":"e_1_3_1_5_2","unstructured":"2023. Remote Direct Memory Access. https:\/\/www.en.wikipedia.org\/wiki\/Remote_direct_memory_access."},{"key":"e_1_3_1_6_2","volume-title":"Compilers principles, techniques & tools","author":"Alfred V Aho","year":"2007","unstructured":"V Aho Alfred, S Lam Monica, and D Ullman Jeffrey. 2007. Compilers principles, techniques & tools. pearson Education."},{"key":"e_1_3_1_7_2","article-title":"Capstone: next generation disassembly framework","author":"Anh Quynh Nguyen","year":"2014","unstructured":"Quynh Nguyen Anh . 2014. Capstone: next generation disassembly framework. USA: BlackHat (2014).","journal-title":"USA: BlackHat"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594299"},{"key":"e_1_3_1_9_2","article-title":"Automating configuration troubleshooting with dynamic information flow analysis","author":"Attariyan Mona","year":"2010","unstructured":"Mona Attariyan and Jason Flinn. 2010. Automating configuration troubleshooting with dynamic information flow analysis. In 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).","journal-title":"9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)"},{"key":"e_1_3_1_10_2","first-page":"202","volume-title":"Working Conference on Verified Software: Theories, Tools, and Experiments","author":"Balakrishnan Gogul","year":"2005","unstructured":"Gogul Balakrishnan, Thomas Reps, David Melski, and Tim Teitelbaum. 2005. Wysinwyx: What you see is not what you execute. In Working Conference on Verified Software: Theories, Tools, and Experiments. Springer, 202-213."},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00043"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/2024569.2024572"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23644-0_1"},{"key":"e_1_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/13310.13327"},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/1181309.1181319"},{"key":"e_1_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/1394608.1382153"},{"key":"e_1_3_1_17_2","first-page":"1665","article-title":"SelectiveTaint: Efficient Data Flow Tracking With Static Binary Rewriting","author":"Chen Sanchuan","year":"2021","unstructured":"Sanchuan Chen, Zhiqiang Lin, and Yinqian Zhang. 2021. SelectiveTaint: Efficient Data Flow Tracking With Static Binary Rewriting. In 30th USENIX Security Symposium (USENIX Security 21). 1665-1682.","journal-title":"30th USENIX Security Symposium (USENIX Security 21)"},{"key":"e_1_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3321705.3329828"},{"key":"e_1_3_1_19_2","first-page":"196","article-title":"Dytan: a generic dynamic taint analysis framework","author":"Clause James","year":"2007","unstructured":"James Clause, Wanchun Li, and Alessandro Orso. 2007. Dytan: a generic dynamic taint analysis framework. In Proceedings of the 2007 international symposium on Software testing and analysis. 196-206.","journal-title":"In Proceedings of the 2007 international symposium on Software testing and analysis"},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2015.02.006"},{"key":"e_1_3_1_21_2","first-page":"17","article-title":"REPT: Reverse debugging of failures in deployed software","author":"Cui Weidong","year":"2018","unstructured":"Weidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang, and Insu Yun. 2018. REPT: Reverse debugging of failures in deployed software. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). 17-32.","journal-title":"In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)"},{"key":"e_1_3_1_22_2","first-page":"31","article-title":"DECAF++: Elastic Whole-System Dynamic Taint Analysis","author":"Davanian Ali","year":"2019","unstructured":"Ali Davanian, Zhenxiao Qi, Yu Qu, and Heng Yin. 2019. DECAF++: Elastic Whole-System Dynamic Taint Analysis. In 22ndInternational Symposium on Research in Attacks, Intrusions and Defenses (RAID 2019). 31-45.","journal-title":"In 22ndInternational Symposium on Research in Attacks, Intrusions and Defenses (RAID 2019)"},{"key":"e_1_3_1_23_2","first-page":"393","volume-title":"In Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation (Vancouver, BC, Canada) (OSDI\u201910)","author":"Enck William","year":"2010","unstructured":"William Enck, Peter Gilbert, Byung-Gon Chun, Landon P. Cox, Jaeyeon Jung, Patrick McDaniel, and Anmol N. Sheth. 2010. TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones. In Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation (Vancouver, BC, Canada) (OSDI\u201910). USENIX Association, USA, 393-407."},{"key":"e_1_3_1_24_2","first-page":"622","article-title":"The taint rabbit: Optimizing generic taint analysis with dynamic fast path generation","author":"Galea John","year":"2020","unstructured":"John Galea and Daniel Kroening. 2020. The taint rabbit: Optimizing generic taint analysis with dynamic fast path generation. In Proceedings of the 15th ACM Asia Conference on Computer and Communications Security. 622-636.","journal-title":"In Proceedings of the 15th ACM Asia Conference on Computer and Communications Security"},{"key":"e_1_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3093336.3037716"},{"key":"e_1_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/3133926"},{"key":"e_1_3_1_27_2","first-page":"173","article-title":"PT-CFI: Transparent backward-edge control flow violation detection using intel processor trace","author":"Yufei Gu","year":"2017","unstructured":"Yufei Gu, Qingchuan Zhao, Yinqian Zhang, and Zhiqiang Lin. 2017. PT-CFI: Transparent backward-edge control flow violation detection using intel processor trace. In Proceedings of the Seventh ACM on Conference on Data and Application Security and Privacy. 173-184.","journal-title":"In Proceedings of the Seventh ACM on Conference on Data and Application Security and Privacy"},{"key":"e_1_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934908"},{"key":"e_1_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2023.3261184"},{"key":"e_1_3_1_30_2","first-page":"1470","article-title":"Enforcing unique code target property for control-flow integrity","author":"Hu Hong","year":"2018","unstructured":"Hong Hu, Chenxiong Qian, Carter Yagemann, Simon Pak Ho Chung, William R Harris, Taesoo Kim, and Wenke Lee. 2018. Enforcing unique code target property for control-flow integrity. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. 1470-1486.","journal-title":"In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security"},{"key":"e_1_3_1_31_2","unstructured":"IBTA. 2019. Enabling the Modern Data Center - RDMA for the Enterprise. https:\/\/www.roceinitiative.org\/wp-content\/uploads\/2019\/05\/IBTA_WhitePaper_May-20-2019.pdf."},{"key":"e_1_3_1_32_2","unstructured":"Intel. 2022. libipt: an Intel(R) Processor Trace decoder library. https:\/\/github.com\/intel\/libipt."},{"key":"e_1_3_1_33_2","first-page":"235","article-title":"ShadowReplica: efficient parallelization of dynamic data flow tracking","author":"Jee Kangkook","year":"2013","unstructured":"Kangkook Jee, Vasileios P Kemerlis, Angelos D Keromytis, and Georgios Portokalidis. 2013. ShadowReplica: efficient parallelization of dynamic data flow tracking. In Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security. 235-246.","journal-title":"In Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security"},{"key":"e_1_3_1_34_2","unstructured":"Kangkook Jee Georgios Portokalidis Vasileios P Kemerlis Soumyadeep Ghosh David I August and Angelos D Keromytis. 2012. A General Approach for Efficiently Accelerating Software-based Dynamic Data Flow Tracking on Commodity Hardware.. In NDSS."},{"key":"e_1_3_1_35_2","first-page":"2567","article-title":"FlowMatrix:GP U-Assisted Information-Flow Analysis through Matrix-Based Representation","author":"Ji Kaihang","year":"2022","unstructured":"Kaihang Ji, Jun Zeng, Yuancheng Jiang, Zhenkai Liang, Zheng Leong Chua, Prateek Saxena, and Abhik Roychoudhury. 2022. FlowMatrix:GP U-Assisted Information-Flow Analysis through Matrix-Based Representation. In 31st USENIX Security Symposium (USENIX Security 22). 2567-2584.","journal-title":"In 31st USENIX Security Symposium (USENIX Security 22)"},{"key":"e_1_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270347"},{"key":"e_1_3_1_37_2","first-page":"121","article-title":"libdft: Practical dynamic data flow tracking for commodity systems","author":"Vasileios P","year":"2012","unstructured":"Vasileios P Kemerlis, Georgios Portokalidis, Kangkook Jee, and Angelos D Keromytis. 2012. libdft: Practical dynamic data flow tracking for commodity systems. In Proceedings of the 8th ACM SIGPLAN\/SIGOPS conference on Virtual Execution Environments. 121-132.","journal-title":"In Proceedings of the 8th ACM SIGPLAN\/SIGOPS conference on Virtual Execution Environments"},{"key":"e_1_3_1_38_2","unstructured":"Andi Kleen . 2022. simple-pt: a simple implementation of the Intel Processor Trace on Linux. https:\/\/github.com\/andikleen\/simple-pt."},{"key":"e_1_3_1_39_2","unstructured":"Daniel Leech . 2023. PHPBench: A benchmark runner for PHP. https:\/\/github.com\/phpbench\/phpbench.git."},{"key":"e_1_3_1_40_2","first-page":"1","article-title":"\ud835\udf07AFL: non-intrusive feedback- driven fuzzing for microcontroller firmware","author":"Li Wenqiang","year":"2022","unstructured":"Wenqiang Li, Jiameng Shi, Fengjun Li, Jingqiang Lin, Wei Wang, and Le Guan. 2022. \ud835\udf07AFL: non-intrusive feedback- driven fuzzing for microcontroller firmware. In Proceedings of the 44th International Conference on Software Engineering. 1-12.","journal-title":"In Proceedings of the 44th International Conference on Software Engineering"},{"key":"e_1_3_1_41_2","unstructured":"David Chu Lin . 1992. Compiler support for predicated execution in superscalar processors. Master\u2019s thesis. Citeseer."},{"key":"e_1_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970299"},{"key":"e_1_3_1_43_2","first-page":"65","article-title":"TaintPipe: Pipelined Symbolic Taint Analysis","author":"Ming Jiang","year":"2015","unstructured":"Jiang Ming, Dinghao Wu, Gaoyao Xiao, Jun Wang, and Peng Liu. 2015. TaintPipe: Pipelined Symbolic Taint Analysis. In 24th USENIX Security Symposium (USENIX Security 15). 65-80.","journal-title":"In 24th USENIX Security Symposium (USENIX Security 15)"},{"key":"e_1_3_1_44_2","first-page":"3","article-title":"Dynamic taint analysis for automatic detection, analysis, and signaturegeneration of exploits on commodity software","volume":"5","author":"Newsome James","year":"2005","unstructured":"James Newsome and Dawn Xiaodong Song. 2005. Dynamic taint analysis for automatic detection, analysis, and signaturegeneration of exploits on commodity software.. In NDSS, Vol. 5. 3-4.","journal-title":"In NDSS"},{"key":"e_1_3_1_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/1353534.1346321"},{"key":"e_1_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00210"},{"key":"e_1_3_1_47_2","first-page":"1","article-title":"Efficient Run-time Monitoring Using Shadow Processing","volume":"95","author":"Patil Harish","year":"1995","unstructured":"Harish Patil and Charles N Fischer. 1995. Efficient Run-time Monitoring Using Shadow Processing.. In AADEBUG, Vol. 95. 1-14.","journal-title":"In AADEBUG"},{"key":"e_1_3_1_48_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2834421"},{"key":"e_1_3_1_49_2","first-page":"1","article-title":"FreeDA: deploying incompatible stock dynamic analyses in production via multi-version execution","author":"Pina Lu\u00eds","year":"2018","unstructured":"Lu\u00eds Pina, Anastasios Andronidis, and Cristian Cadar. 2018. FreeDA: deploying incompatible stock dynamic analyses in production via multi-version execution. In Proceedings of the 15th ACM International Conference on Computing Frontiers. 1-10.","journal-title":"In Proceedings of the 15th ACM International Conference on Computing Frontiers"},{"key":"e_1_3_1_50_2","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2006.29"},{"key":"e_1_3_1_51_2","first-page":"451","article-title":"JetStream: Cluster-Scale Parallelization of Information Flow Queries","author":"Quinn Andrew","year":"2016","unstructured":"Andrew Quinn, David Devecsery, Peter M Chen, and Jason Flinn. 2016. JetStream: Cluster-Scale Parallelization of Information Flow Queries. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). 451-466.","journal-title":"12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)"},{"key":"e_1_3_1_52_2","unstructured":"RDMA-Core. 2023. libibverbs. https:\/\/www.github.com\/linux-rdma\/rdma-core\/tree\/master\/libibverbs."},{"key":"e_1_3_1_53_2","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2010.68"},{"key":"e_1_3_1_54_2","doi-asserted-by":"publisher","DOI":"10.1145\/1378533.1378538"},{"key":"e_1_3_1_55_2","first-page":"45","volume-title":"In 2024 IEEE Symposium on Security and Privacy (SP)","author":"Sang Qian","year":"2023","unstructured":"Qian Sang, Yanhao Wang, Yuwei Liu, Xiangkun Jia, Tiffany Bao, and Purui Su. 2023. AirTaint: Making Dynamic Taint Analysis Faster and Easier. In 2024 IEEE Symposium on Security and Privacy (SP). IEEE Computer Society, 45-45."},{"key":"e_1_3_1_56_2","first-page":"167","article-title":"kAFL:Hardware- Assisted feedback fuzzing for OS kernels","author":"Schumilo Sergej","year":"2017","unstructured":"Sergej Schumilo, Cornelius Aschermann, Robert Gawlik, Sebastian Schinzel, and Thorsten Holz. 2017. kAFL:Hardware- Assisted feedback fuzzing for OS kernels. In 26th USENIX security symposium (USENIX Security 17). 167-182.","journal-title":"26th USENIX security symposium (USENIX Security 17)"},{"key":"e_1_3_1_57_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"key":"e_1_3_1_58_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.27"},{"key":"e_1_3_1_59_2","doi-asserted-by":"publisher","DOI":"10.1049\/joe.2016.0127"},{"key":"e_1_3_1_60_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_1_61_2","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048145"},{"key":"e_1_3_1_62_2","doi-asserted-by":"publisher","DOI":"10.1145\/1037187.1024404"},{"key":"e_1_3_1_63_2","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542486"},{"key":"e_1_3_1_64_2","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037744"},{"key":"e_1_3_1_65_2","article-title":"Ramblr: Making Reassembly Great Again","author":"Wang Ruoyu","year":"2017","unstructured":"Ruoyu Wang, Yan Shoshitaishvili, Antonio Bianchi, Aravind Machiry, John Grosen, Paul Grosen, Christopher Kruegel, and Giovanni Vigna. 2017. Ramblr: Making Reassembly Great Again.. In NDSS.","journal-title":"In NDSS"},{"key":"e_1_3_1_66_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.37"},{"key":"e_1_3_1_67_2","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2021.3097287"},{"key":"e_1_3_1_68_2","article-title":"Processor Tracing for Virtual Machines","author":"Wolczko Mario","year":"2017","unstructured":"Mario Wolczko and Cansu Kaynak. 2017. Processor Tracing for Virtual Machines. In The Workshop on Modern Language Runtimes, Ecosystems, andVMs (MoreVMs).","journal-title":"The Workshop on Modern Language Runtimes, Ecosystems, andVMs (MoreVMs)"},{"key":"e_1_3_1_69_2","first-page":"271","article-title":"Bunshin: compositing security mechanisms through diversification","author":"Xu Meng","year":"2017","unstructured":"Meng Xu, Kangjie Lu, Taesoo Kim, and Wenke Lee. 2017. Bunshin: compositing security mechanisms through diversification. In 2017 USENIX Annual Technical Conference (USENIX ATC 17). 271-283.","journal-title":"In 2017 USENIX Annual Technical Conference (USENIX ATC 17)"},{"key":"e_1_3_1_70_2","first-page":"1989","article-title":"ARCUS: Symbolic Root Cause Analysis of Exploits in Production Systems","author":"Yagemann Carter","year":"2021","unstructured":"Carter Yagemann, Matthew Pruett, Simon P Chung, Kennon Bittick, Brendan Saltaformaggio, and Wenke Lee. 2021. ARCUS: Symbolic Root Cause Analysis of Exploits in Production Systems. In 30th USENIX Security Symposium (USENIX Security 21). 1989-2006.","journal-title":"30th USENIX Security Symposium (USENIX Security 21)"},{"key":"e_1_3_1_71_2","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468532"},{"key":"e_1_3_1_72_2","first-page":"116","article-title":"Panorama: capturing system-wide information flow for malware detection and analysis","author":"Yin Heng","year":"2007","unstructured":"Heng Yin, Dawn Song, Manuel Egele, Christopher Kruegel, and Engin Kirda. 2007. Panorama: capturing system-wide information flow for malware detection and analysis. In Proceedings of the 14th ACM conference on Computer and communications security. 116-127.","journal-title":"Proceedings of the 14th ACM conference on Computer and communications security"},{"key":"e_1_3_1_73_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2851237"},{"key":"e_1_3_1_74_2","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037708"},{"key":"e_1_3_1_75_2","doi-asserted-by":"publisher","DOI":"10.1145\/996893.996855"},{"key":"e_1_3_1_76_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598106"},{"key":"e_1_3_1_77_2","unstructured":"Yiyu Zhang Tianyi Liu Yueyang Wang Yun Qi Kai Ji Jian Tang Xiaoliang Wang Xuandong Li and Zhiqiang Zuo. 2024. HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing (Artifact). https:\/\/doi.org\/10.5281\/zenodo.13117983 10.5281\/zenodo.13117983."},{"key":"e_1_3_1_78_2","doi-asserted-by":"publisher","DOI":"10.1145\/1945023.1945039"},{"key":"e_1_3_1_79_2","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454096"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689768","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3689768","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T09:03:24Z","timestamp":1770195804000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689768"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,8]]},"references-count":78,"journal-issue":{"issue":"OOPSLA2","published-print":{"date-parts":[[2024,10,8]]}},"alternative-id":["10.1145\/3689768"],"URL":"https:\/\/doi.org\/10.1145\/3689768","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,8]]},"assertion":[{"value":"2024-04-06","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-08-18","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-10-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}