{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T02:36:52Z","timestamp":1784342212903,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":97,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T00:00:00Z","timestamp":1743292800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Tencent"},{"DOI":"10.13039\/501100006374","name":"Huawei Technologies","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"TCL"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,3,30]]},"DOI":"10.1145\/3689031.3717487","type":"proceedings-article","created":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:25:20Z","timestamp":1742970320000},"page":"1246-1262","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Seal: Towards Diverse Specification Inference for Linux Interfaces from Security Patches"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0335-5002","authenticated-orcid":false,"given":"Wei","family":"Chen","sequence":"first","affiliation":[{"name":"The Hong Kong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2985-6713","authenticated-orcid":false,"given":"Bowen","family":"Zhang","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0617-5322","authenticated-orcid":false,"given":"Chengpeng","family":"Wang","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4259-3321","authenticated-orcid":false,"given":"Wensheng","family":"Tang","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6417-1034","authenticated-orcid":false,"given":"Charles","family":"Zhang","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,3,30]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. Dicussion with kernel maintainers. https:\/\/lore.kernel.org\/all\/YPgbHMtLQqb1kP0l@ravnborg.org\/."},{"key":"e_1_3_2_1_2_1","unstructured":"2023. Coverity static analyzer. https:\/\/www.synopsys.com\/software-integrity\/security-testing\/static-analysis-sast.html. Accessed on October 18 2023."},{"key":"e_1_3_2_1_3_1","unstructured":"2023. Linux Source Tree for Upstream Branch. https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/."},{"key":"e_1_3_2_1_4_1","unstructured":"2023. Null pointer dereference flaw reproducer. https:\/\/lore.kernel.org\/lkml\/CAO4mrfcPHB5aQJO=mpqV+p8mPLNg-Fok0gw8gZ=zemAfMGTzMg@mail.gmail.com\/."},{"key":"e_1_3_2_1_5_1","unstructured":"2023. Smatch: Static Analyser for C. https:\/\/github.com\/error27\/smatch. Accessed on 18 October 2023."},{"key":"e_1_3_2_1_6_1","unstructured":"2024. BUG_ON and WARN_ON. https:\/\/github.com\/torvalds\/linux\/blob\/master\/Documentation\/process\/coding-style.rst."},{"key":"e_1_3_2_1_7_1","unstructured":"2024. CWE Top 25 Most Dangerous Software Weaknesses. https:\/\/cwe.mitre.org\/top25\/."},{"key":"e_1_3_2_1_8_1","unstructured":"2024. Doxygen: Automated Code Documentation. https:\/\/www.doxygen.nl\/."},{"key":"e_1_3_2_1_9_1","unstructured":"2024. Dynamic DMA mapping Guide. https:\/\/www.kernel.org\/doc\/Documentation\/DMA-API-HOWTO.txt."},{"key":"e_1_3_2_1_10_1","unstructured":"2024. Eiffel Programing Language. https:\/\/www.eiffel.org\/documentation."},{"key":"e_1_3_2_1_11_1","unstructured":"2024. Linux Kernel Documentation. https:\/\/docs.kernel.org\/."},{"key":"e_1_3_2_1_12_1","unstructured":"2024. Overview of the Linux Virtual File System. https:\/\/www.kernel.org\/doc\/Documentation\/filesystems\/vfs.txt."},{"key":"e_1_3_2_1_13_1","unstructured":"2024. Platform Devices and Drivers. https:\/\/www.kernel.org\/doc\/Documentation\/driver-model\/platform.txt."},{"key":"e_1_3_2_1_14_1","unstructured":"2024. Video2Linux devices: struct vb2_ops. https:\/\/www.linuxtv.org\/downloads\/v4l-dvb-internals\/device-drivers\/API-struct-vb2-ops.html."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985898"},{"key":"e_1_3_2_1_16_1","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"Ahmadi Mansour","year":"2021","unstructured":"Mansour Ahmadi, Reza Mirzazade farkhani, Ryan Williams, and Long Lu. 2021. Finding Bugs Using Your Own Code: Detecting Functionally-similar yet Inconsistent Code. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association, 2025--2040. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/ahmadi"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884816"},{"key":"e_1_3_2_1_18_1","volume-title":"Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers. In 2019 USENIX Annual Technical Conference (USENIX ATC 19)","author":"Bai Jia-Ju","year":"2019","unstructured":"Jia-Ju Bai, Julia Lawall, Qiu-Liang Chen, and Shi-Min Hu. 2019. Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers. In 2019 USENIX Annual Technical Conference (USENIX ATC 19). USENIX Association, Renton, WA, 255--268. https:\/\/www.usenix.org\/conference\/atc19\/presentation\/bai"},{"key":"e_1_3_2_1_19_1","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"Bai Jia-Ju","year":"2021","unstructured":"Jia-Ju Bai, Tuo Li, Kangjie Lu, and Shi-Min Hu. 2021. Static Detection of Unsafe {DMA} Accesses in Device Drivers. In 30th USENIX Security Symposium (USENIX Security 21). 1629--1645."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192383"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213872"},{"key":"e_1_3_2_1_22_1","volume-title":"33nd USENIX Security Symposium (USENIX Security 24)","author":"Cai Yuandao","year":"2024","unstructured":"Yuandao Cai, Yibo Jin, and Charles Zhang. 2024. Unleashing the power of type-based call graph construction by using regional pointer information. In 33nd USENIX Security Symposium (USENIX Security 24)."},{"key":"e_1_3_2_1_23_1","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Cai Yuandao","year":"2023","unstructured":"Yuandao Cai, Peisen Yao, Chengfeng Ye, and Charles Zhang. 2023. Place your locks well: understanding and detecting lock misuse bugs. In 32nd USENIX Security Symposium (USENIX Security 23). 3727--3744."},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the ACM on Programming Languages 2, POPL","author":"Chatterjee Krishnendu","year":"2017","unstructured":"Krishnendu Chatterjee, Bhavya Choudhary, and Andreas Pavlogiannis. 2017. Optimal Dyck reachability for data-dependence and alias analysis. Proceedings of the ACM on Programming Languages 2, POPL (2017), 1--30."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250789"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314648"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771810"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134069"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75280"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338960"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314640"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.24416"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00025"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563350"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3652110"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3600006.3613162"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/3241094.3241122"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00029"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970354"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_43_1","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Li Guoren","year":"2023","unstructured":"Guoren Li, Hang Zhang, Jinmeng Zhou, Wenbo Shen, Yulei Sui, and Zhiyun Qian. 2023. A hybrid alias analysis and its application to global variable protection in the linux kernel. In 32nd USENIX Security Symposium (USENIX Security 23). 4211--4228."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649828"},{"key":"e_1_3_2_1_45_1","volume-title":"33rd USENIX Security Symposium (USENIX Security 24)","author":"Li Tuo","year":"2024","unstructured":"Tuo Li, Jia-Ju Bai, Gui-Dong Han, and Shi-Min Hu. 2024. {LR-Miner}: Static Race Detection in {OS} Kernels by Mining Locking Rules. In 33rd USENIX Security Symposium (USENIX Security 24). 6149--6166."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081755"},{"key":"e_1_3_2_1_47_1","volume-title":"Detecting API Post-Handling Bugs Using Code and Description in Patches. In 32nd USENIX Security Symposium (USENIX Security 23)","author":"Lin Miaoqian","year":"2023","unstructured":"Miaoqian Lin, Kai Chen, and Yang Xiao. 2023. Detecting API Post-Handling Bugs Using Code and Description in Patches. In 32nd USENIX Security Symposium (USENIX Security 23). USENIX Association, Anaheim, CA, 3709--3726. https:\/\/www.usenix.org\/conference\/usenixsecurity23\/presentation\/lin"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3485373"},{"key":"e_1_3_2_1_49_1","volume-title":"Generating API Parameter Security Rules with LLM for API Misuse Detection. arXiv preprint arXiv:2409.09288","author":"Liu Jinghua","year":"2024","unstructured":"Jinghua Liu, Yi Yang, Kai Chen, and Miaoqian Lin. 2024. Generating API Parameter Security Rules with LLM for API Misuse Detection. arXiv preprint arXiv:2409.09288 (2024)."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354244"},{"key":"e_1_3_2_1_51_1","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Lu Kangjie","year":"2019","unstructured":"Kangjie Lu, Aditya Pakki, and Qiushi Wu. 2019. Detecting Missing-Check Bugs via Semantic- and Context-Aware Criticalness and Constraints Inferences. In 28th USENIX Security Symposium (USENIX Security 19). USENIX Association, Santa Clara, CA, 1769--1786. https:\/\/www. usenix.org\/conference\/usenixsecurity19\/presentation\/lu"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3423360"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833613"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534226"},{"key":"e_1_3_2_1_55_1","volume-title":"26th USENIX Security Symposium (USENIX Security 17)","author":"Machiry Aravind","year":"2017","unstructured":"Aravind Machiry, Chad Spensky, Jake Corina, Nick Stephens, Christopher Kruegel, and Giovanni Vigna. 2017. {DR}.{CHECKER}: A soundy analysis for linux kernel drivers. In 26th USENIX Security Symposium (USENIX Security 17). 1007--1024."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872389"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815422"},{"key":"e_1_3_2_1_58_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Peng Hui","year":"2020","unstructured":"Hui Peng and Mathias Payer. 2020. USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation. In 29th USENIX Security Symposium (USENIX Security 20). USENIX Association, 2559--2575. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/peng"},{"key":"e_1_3_2_1_59_1","first-page":"1125","article-title":"A machine-learning approach for classifying and categorizing android sources and sinks","volume":"14","author":"Rasthofer Siegfried","year":"2014","unstructured":"Siegfried Rasthofer, Steven Arzt, and Eric Bodden. 2014. A machine-learning approach for classifying and categorizing android sources and sinks.. In NDSS, Vol. 14. 1125.","journal-title":"NDSS"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563339"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380346"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3296979.3192418"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380425"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"crossref","unstructured":"Dokyung Song Felicitas Hetzelt Dipanjan Das Chad Spensky Yeoul Na Stijn Volckaert Giovanni Vigna Christopher Kruegel Jean-Pierre Seifert and Michael Franz. 2019. PeriScope: An Effective Probing and Fuzzing Framework for the Hardware-OS Boundary.. In NDSS.","DOI":"10.14722\/ndss.2019.23176"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250748"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380390"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2869336"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336784"},{"key":"e_1_3_2_1_70_1","volume-title":"Detecting Kernel Refcount Bugs with Two-Dimensional Consistency Checking. In 30th USENIX Security Symposium (USENIX Security 21)","author":"Tan Xin","year":"2021","unstructured":"Xin Tan, Yuan Zhang, Xiyu Yang, Kangjie Lu, and Min Yang. 2021. Detecting Kernel Refcount Bugs with Two-Dimensional Consistency Checking. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association, 2471--2488. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/tan"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3632743"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227176"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106300"},{"key":"e_1_3_2_1_74_1","unstructured":"Dmitry Vyukov. 2022. Syzkaller: coverage-guided kernel fuzzer. https:\/\/github.com\/google\/syzkaller."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/3565800"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3660816"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179479"},{"key":"e_1_3_2_1_78_1","volume-title":"Improving Integer Security for Systems with KINT. In 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)","author":"Wang Xi","unstructured":"Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, and M. Frans Kaashoek. 2012. Improving Integer Security for Systems with KINT. In 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). USENIX Association, Hollywood, CA, 163--177. https:\/\/www.usenix.org\/conference\/osdi12\/technical-sessions\/presentation\/wang"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00032"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"},{"key":"e_1_3_2_1_82_1","volume-title":"Understanding and Detecting Disordered Error Handling with Precise Function Pairing. In 30th USENIX Security Symposium (USENIX Security 21)","author":"Wu Qiushi","year":"2021","unstructured":"Qiushi Wu, Aditya Pakki, Navid Emamdoost, Stephen McCamant, and Kangjie Lu. 2021. Understanding and Detecting Disordered Error Handling with Precise Function Pairing. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association, 2041--2058. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/wu-qiushi"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695488"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00078"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00017"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813637"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.44"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.54"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1145\/3656400"},{"key":"e_1_3_2_1_90_1","volume-title":"When Threads Meet Interrupts: Effective Static Detection of {Interrupt-Based} Deadlocks in Linux. In 33rd USENIX Security Symposium (USENIX Security 24)","author":"Ye Chengfeng","year":"2024","unstructured":"Chengfeng Ye, Yuandao Cai, and Charles Zhang. 2024. When Threads Meet Interrupts: Effective Static Detection of {Interrupt-Based} Deadlocks in Linux. In 33rd USENIX Security Symposium (USENIX Security 24). 6167--6184."},{"key":"e_1_3_2_1_91_1","volume-title":"Proceedings of the 25th USENIX Conference on Security Symposium","author":"Yun Insu","year":"2016","unstructured":"Insu Yun, Changwoo Min, Xujie Si, Yeongjin Jang, Taesoo Kim, and Mayur Naik. 2016. APISAN: Sanitizing API Usages through Semantic Cross-Checking. In Proceedings of the 25th USENIX Conference on Security Symposium (Austin, TX, USA) (SEC'16). USENIX Association, USA, 363--378."},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409686"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/3620666.3651366"},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484798"},{"key":"e_1_3_2_1_95_1","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Zhang Tong","year":"2019","unstructured":"Tong Zhang, Wenbo Shen, Dongyoon Lee, Changhee Jung, Ahmed M Azab, and Ruowen Wang. 2019. {PeX}: A permission check analysis framework for linux kernel. In 28th USENIX Security Symposium (USENIX Security 19). 1205--1220."},{"key":"e_1_3_2_1_96_1","volume-title":"Semantic-Informed Driver Fuzzing Without Both the Hardware Devices and the Emulators. In Network and Distributed Systems Security (NDSS) Symposium","author":"Zhao Wenjia","year":"2022","unstructured":"Wenjia Zhao, Kangjie Lu, Qiushi Wu, and Yong Qi. 2022. Semantic-Informed Driver Fuzzing Without Both the Hardware Devices and the Emulators. In Network and Distributed Systems Security (NDSS) Symposium 2022."},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.11"}],"event":{"name":"EuroSys '25: Twentieth European Conference on Computer Systems","location":"Rotterdam Netherlands","acronym":"EuroSys '25","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Twentieth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689031.3717487","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3689031.3717487","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T11:24:04Z","timestamp":1755775444000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689031.3717487"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,30]]},"references-count":97,"alternative-id":["10.1145\/3689031.3717487","10.1145\/3689031"],"URL":"https:\/\/doi.org\/10.1145\/3689031.3717487","relation":{},"subject":[],"published":{"date-parts":[[2025,3,30]]},"assertion":[{"value":"2025-03-30","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}