{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:22:23Z","timestamp":1740169343942,"version":"3.37.3"},"reference-count":31,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/access.2022.3229461","type":"journal-article","created":{"date-parts":[[2022,12,15]],"date-time":"2022-12-15T19:55:34Z","timestamp":1671134134000},"page":"134502-134511","source":"Crossref","is-referenced-by-count":0,"title":["Safer Linux Kernel Modules Using the D Programming Language"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4934-1829","authenticated-orcid":false,"given":"Constantin Eduard","family":"Staniloiu","sequence":"first","affiliation":[{"name":"Faculty of Automatic Control and Computers, University POLITEHNICA of Bucharest, Bucharest, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandru","family":"Militaru","sequence":"additional","affiliation":[{"name":"Faculty of Automatic Control and Computers, University POLITEHNICA of Bucharest, Bucharest, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9713-2760","authenticated-orcid":false,"given":"Razvan","family":"Nitu","sequence":"additional","affiliation":[{"name":"Faculty of Automatic Control and Computers, University POLITEHNICA of Bucharest, Bucharest, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8287-1712","authenticated-orcid":false,"given":"Razvan","family":"Deaconescu","sequence":"additional","affiliation":[{"name":"Faculty of Automatic Control and Computers, University POLITEHNICA of Bucharest, Bucharest, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"Mobile Operating System Market Share Worldwide","year":"2019","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/780822.781157"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134069"},{"volume-title":"Finding bugs in open source kernels using parfait","year":"2009","author":"Dawson","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/0471743984.vse5792"},{"volume-title":"Programming in D for C Programmers","year":"2022","key":"ref6"},{"volume-title":"Live Functions: Ownership and Borrowing in D","year":"2022","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00017"},{"key":"ref9","first-page":"119","article-title":"Finding user\/kernel pointer bugs with type inference","volume-title":"Proc. 13th USENIX Secur. Symp. (USENIX Security)","author":"Johnson"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1037\/13785-023"},{"volume-title":"Virtio","year":"2022","key":"ref11"},{"volume-title":"Linux Kernel CVEs","year":"2022","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29962-0_1"},{"key":"ref14","first-page":"1007","article-title":"DR.CHECKER: A soundy analysis for Linux kernel drivers","volume-title":"Proc. 26th USENIX Secur. Symp. (USENIX Security)","author":"Machiry"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1065887.1065892"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.5220\/0011290000003266"},{"volume-title":"Linux Kernel Defence Map","year":"2022","author":"Popov","key":"ref17"},{"key":"ref18","first-page":"14","article-title":"Decaf: Moving device drivers to a modern language","volume-title":"Proc. USENIX Annu. Tech. Conf.","author":"Renzelmann"},{"volume-title":"Rust in the Linux Kernel: Good Enough","year":"2022","key":"ref19"},{"volume-title":"Rust for Linux","year":"2022","key":"ref20"},{"volume-title":"Linux Kernel Commit to Add Rust Support","year":"2022","key":"ref21"},{"key":"ref22","first-page":"167","article-title":"kAFL: Hardware-assisted feedback fuzzing for OS kernels","volume-title":"Proc. 26th USENIX Secur. Symp. (USENIX Security)","author":"Schumilo"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/318774.318942"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23218"},{"key":"ref25","first-page":"2541","article-title":"Agamotto: Accelerating kernel driver fuzzing with lightweight virtual machine checkpoints","volume-title":"Proc. 29th USENIX Secur. Symp. (USENIX Security)","author":"Song"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/RoEduNet54112.2021.9638307"},{"volume-title":"Mobile Operating System Market Share Worldwide","year":"2022","key":"ref27"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/mprv.2009.31"},{"volume-title":"Operating System Family\/Linux | TOP50","year":"2022","key":"ref29"},{"volume-title":"LKML: Linus Torvalds: Re: [Patch v9 12\/27] Rust: Add Kernel Crate","year":"2022","key":"ref30"},{"volume-title":"Linux vs. Windows Usage Statistics for Websites","year":"2022","key":"ref31"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9668973\/09987502.pdf?arnumber=9987502","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T06:12:56Z","timestamp":1706767976000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9987502\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/access.2022.3229461","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2022]]}}}