{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:05:25Z","timestamp":1755907525056,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,12,2]],"date-time":"2024-12-02T00:00:00Z","timestamp":1733097600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,12,2]]},"DOI":"10.1145\/3658644.3690860","type":"proceedings-article","created":{"date-parts":[[2024,12,9]],"date-time":"2024-12-09T12:19:20Z","timestamp":1733746760000},"page":"5104-5106","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Symbolic Execution for Dynamic Kernel Analysis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-9991-3390","authenticated-orcid":false,"given":"Pansilu","family":"Pitigalaarachchi","sequence":"first","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,12,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"USENIX Annual Technical Conference, FREENIX Track. 41--46","author":"Bellard Fabrice","year":"2005","unstructured":"Fabrice Bellard. 2005. QEMU, a fast and portable dynamic translator. In USENIX Annual Technical Conference, FREENIX Track. 41--46."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI). 209--224","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI). 209--224."},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 29th USENIX Security Symposium. 1093--1110","author":"Chen Weiteng","year":"2020","unstructured":"Weiteng Chen, Xiaochen Zou, Guoren Li, and Zhiyun Qian. 2020. KOOBE: Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities. In Proceedings of the 29th USENIX Security Symposium. 1093--1110."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110356.2110358"},{"volume-title":"Retrieved July 17th","year":"2021","key":"e_1_3_2_1_5_1","unstructured":"Corbet. 2021. A GPIO driver in Rust. (2021). Retrieved July 17th, 2024 from https:\/\/lwn.net\/Articles\/863459\/"},{"volume-title":"Retrieved July 17th","year":"2023","key":"e_1_3_2_1_6_1","unstructured":"Corbet. 2023. Adding NVME driver. (2023). Retrieved July 17th, 2024 from https:\/\/github.com\/metaspace\/linux\/tree\/nvme"},{"key":"e_1_3_2_1_7_1","volume-title":"Retrieved July 17th","author":"Corbet Jonathan","year":"2023","unstructured":"Jonathan Corbet. 2023. The PuzzleFS container filesystem. (2023). Retrieved July 17th, 2024 from https:\/\/lwn.net\/Articles\/945320\/"},{"key":"e_1_3_2_1_8_1","volume-title":"Retrieved July 17th","author":"Corbet Jonathan","year":"2023","unstructured":"Jonathan Corbet. 2023. A Rust implementation of Android's Binder. (2023). Retrieved July 17th, 2024 from https:\/\/lwn.net\/Articles\/953116\/"},{"key":"e_1_3_2_1_9_1","volume-title":"Retrieved August 19th","author":"Foundation Rust","year":"2024","unstructured":"Rust Foundation. 2024. Foreign Function Interface. (2024). Retrieved August 19th, 2024 from https:\/\/doc.rust-lang.org\/nomicon\/ffi.html"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the IEEE Symposium on Security and Privacy (S&P). 588--603","author":"Jiang Zheyue","year":"2023","unstructured":"Zheyue Jiang, Yuan Zhang, Jun Xu, Xinqian Sun, Zhuang Liu, and Min Yang. 2023. AEM: Facilitating Cross-Version Exploitability Assessment of Linux Kernel Vulnerabilities. In Proceedings of the IEEE Symposium on Security and Privacy (S&P). 588--603."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24018"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_13_1","volume-title":"Retrieved July 17th","author":"Kernel Linux","year":"2024","unstructured":"Linux Kernel : Security Vulnerabilities 2024. (2024). Retrieved July 17th, 2024 from https:\/\/www.cvedetails.com\/vulnerability-list\/vendor_id-33\/product_id-47\/Linux-Linux-Kernel.html"},{"key":"e_1_3_2_1_14_1","volume-title":"Retrieved July 17th","author":"Source Tree Linux Kernel","year":"2024","unstructured":"Linux Kernel Source Tree 2024. Version 6.10. (2024). Retrieved July 17th, 2024 from https:\/\/github.com\/torvalds\/linux\/tree\/v6.10"},{"key":"e_1_3_2_1_15_1","volume-title":"Retrieved July 17th","author":"Source Tree Linux Kernel","year":"2024","unstructured":"Linux Kernel Source Tree 2024. Version 6.9. (2024). Retrieved July 17th, 2024 from https:\/\/github.com\/torvalds\/linux\/tree\/v6.9"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3623198"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 29th USENIX Security Symposium. 181--198","author":"Poeplau Sebastian","year":"2020","unstructured":"Sebastian Poeplau and Aur\u00e9lien Francillon. 2020. Symbolic execution with SymCC: Don't interpret, compile!. In Proceedings of the 29th USENIX Security Symposium. 181--198."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.24118"},{"volume-title":"Presented as part of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI). 279--292.","author":"Renzelmann Matthew J","key":"e_1_3_2_1_19_1","unstructured":"Matthew J Renzelmann, Asim Kadav, and Michael M Swift. 2012. SymDrive: Testing drivers without devices. In Presented as part of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI). 279--292."},{"key":"e_1_3_2_1_20_1","volume-title":"Retrieved July 17th","author":"Linux Rust","year":"2020","unstructured":"Rust for Linux Project 2020. (2020). Retrieved July 17th, 2024 from https:\/\/rustfor-linux.com\/"},{"key":"e_1_3_2_1_21_1","volume-title":"Retrieved July 17th","author":"Linux Project Rust","year":"2023","unstructured":"Rust for Linux Project 2023. Linux kernel source tree, network Phy driver. (2023). Retrieved July 17th, 2024 from https:\/\/github.com\/torvalds\/linux\/blob\/v6.8\/rust\/kernel\/net\/phy.rs"},{"key":"e_1_3_2_1_22_1","volume-title":"Retrieved July 17th, 2024","author":"Linux Project Rust","year":"2023","unstructured":"Rust for Linux Project 2023. Rust null block driver. (2023). Retrieved July 17th, 2024 from https:\/\/lore.kernel.org\/rust-for-linux\/20230503090708.2524310-1-nmi@metaspace.dk\/"},{"key":"e_1_3_2_1_23_1","volume-title":"Retrieved July 17th","author":"Linux Project Rust","year":"2023","unstructured":"Rust for Linux Project 2023. Tarfs on vfs abstractions in RFL. (2023). Retrieved July 17th, 2024 from https:\/\/github.com\/Rust-for-Linux\/linux\/pull\/1037"},{"key":"e_1_3_2_1_24_1","volume-title":"Retrieved July 17th","author":"Linux Project Rust","year":"2024","unstructured":"Rust for Linux Project 2024. Semaphore Driver in Rust. (2024). Retrieved July 17th, 2024 from https:\/\/github.com\/Rust-for-Linux\/linux\/blob\/rust\/samples\/rust\/ rust_semaphore.rs"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_2_1_26_1","volume-title":"Retrieved July 17th","author":"Tomonori Fujita","year":"2022","unstructured":"Fujita Tomonori. 2022. Rust e1000 device driver. (2022). Retrieved July 17th, 2024 from https:\/\/github.com\/fujita\/rust-e1000"},{"key":"e_1_3_2_1_27_1","volume-title":"Retrieved July 17th","author":"Vyukov Dmitry","year":"2016","unstructured":"Dmitry Vyukov. 2016. Syzkaller. (2016). Retrieved July 17th, 2024 from https:\/\/github.com\/google\/syzkaller"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the ACM SIGSAC Conference on Computer and Communications Security (CCS). 1914--1927","author":"Wang Yan","year":"2018","unstructured":"Yan Wang, Chao Zhang, Xiaobo Xiang, Zixuan Zhao, Wenjie Li, Xiaorui Gong, Bingchang Liu, Kaixiang Chen, and Wei Zou. 2018. Revery: From Proof-of- Concept to Exploitable (One Step towards Automatic Exploit Generation). In Proceedings of the ACM SIGSAC Conference on Computer and Communications Security (CCS). 1914--1927."},{"volume-title":"Retrieved July 17th","year":"2024","key":"e_1_3_2_1_29_1","unstructured":"Wikipedia. 2024. Usage share of operating systems. (2024). Retrieved July 17th, 2024 from https:\/\/en.wikipedia.org\/wiki\/Usage_share_of_operating_systems"},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the 27th USENIX Security Symposium. 781--797","author":"Wu Wei","year":"2018","unstructured":"Wei Wu, Yueqi Chen, Jun Xu, Xinyu Xing, Xiaorui Gong, and Wei Zou. 2018. FUZE: Towards Facilitating Exploit Generation for Kernel Use-After-Free Vulnerabilities. In Proceedings of the 27th USENIX Security Symposium. 781--797."},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the 27th USENIX Security Symposium. 745--761","author":"Yun Insu","year":"2020","unstructured":"Insu Yun, Sangho Lee, Meng Xu, Yeongjin Jang, and Taesoo Kim. 2020. QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing. In Proceedings of the 27th USENIX Security Symposium. 745--761."},{"key":"e_1_3_2_1_32_1","volume-title":"Retrieved July 17th","author":"Zalewsk Michal","year":"2014","unstructured":"Michal Zalewsk. 2014. AFL. (2014). Retrieved July 17th, 2024 from https:\/\/lcamtuf.coredump.cx\/afl"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409686"}],"event":{"name":"CCS '24: ACM SIGSAC Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Salt Lake City UT USA","acronym":"CCS '24"},"container-title":["Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658644.3690860","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3658644.3690860","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T06:04:38Z","timestamp":1755842678000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658644.3690860"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,2]]},"references-count":33,"alternative-id":["10.1145\/3658644.3690860","10.1145\/3658644"],"URL":"https:\/\/doi.org\/10.1145\/3658644.3690860","relation":{},"subject":[],"published":{"date-parts":[[2024,12,2]]},"assertion":[{"value":"2024-12-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}