{"id":"https://openalex.org/W4313021234","doi":"https://doi.org/10.1109/access.2022.3229461","title":"Safer Linux Kernel Modules Using the D Programming Language","display_name":"Safer Linux Kernel Modules Using the D Programming Language","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4313021234","doi":"https://doi.org/10.1109/access.2022.3229461"},"language":"en","primary_location":{"id":"doi:10.1109/access.2022.3229461","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3229461","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09987502.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09987502.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5097026923","display_name":"Constantin-Eduard St\u0103niloiu","orcid":"https://orcid.org/0000-0003-4934-1829"},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Constantin Eduard Staniloiu","raw_affiliation_strings":["Faculty of Automatic Control and Computers, University POLITEHNICA of Bucharest, Bucharest, Romania"],"raw_orcid":"https://orcid.org/0000-0003-4934-1829","affiliations":[{"raw_affiliation_string":"Faculty of Automatic Control and Computers, University POLITEHNICA of Bucharest, Bucharest, Romania","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008985716","display_name":"Alexandru Militaru","orcid":null},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Alexandru Militaru","raw_affiliation_strings":["Faculty of Automatic Control and Computers, University POLITEHNICA of Bucharest, Bucharest, Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Automatic Control and Computers, University POLITEHNICA of Bucharest, Bucharest, Romania","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025707388","display_name":"R\u0103zvan Nitu","orcid":"https://orcid.org/0000-0001-9713-2760"},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Razvan Nitu","raw_affiliation_strings":["Faculty of Automatic Control and Computers, University POLITEHNICA of Bucharest, Bucharest, Romania"],"raw_orcid":"https://orcid.org/0000-0001-9713-2760","affiliations":[{"raw_affiliation_string":"Faculty of Automatic Control and Computers, University POLITEHNICA of Bucharest, Bucharest, Romania","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072899308","display_name":"R\u0103zvan Deaconescu","orcid":"https://orcid.org/0000-0001-8287-1712"},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Razvan Deaconescu","raw_affiliation_strings":["Faculty of Automatic Control and Computers, University POLITEHNICA of Bucharest, Bucharest, Romania"],"raw_orcid":"https://orcid.org/0000-0001-8287-1712","affiliations":[{"raw_affiliation_string":"Faculty of Automatic Control and Computers, University POLITEHNICA of Bucharest, Bucharest, Romania","institution_ids":["https://openalex.org/I61641377"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.15559214,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":null,"first_page":"134502","last_page":"134511"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8707595467567444},{"id":"https://openalex.org/keywords/porting","display_name":"Porting","score":0.6794849038124084},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.611980676651001},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.570968508720398},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.5380672216415405},{"id":"https://openalex.org/keywords/safer","display_name":"SAFER","score":0.5314503908157349},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5176518559455872},{"id":"https://openalex.org/keywords/memory-safety","display_name":"Memory safety","score":0.45324957370758057},{"id":"https://openalex.org/keywords/sysfs","display_name":"sysfs","score":0.45213454961776733},{"id":"https://openalex.org/keywords/linux-kernel","display_name":"Linux kernel","score":0.4362366795539856},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3237800598144531},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.23253285884857178},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.10218530893325806}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8707595467567444},{"id":"https://openalex.org/C106251023","wikidata":"https://www.wikidata.org/wiki/Q851989","display_name":"Porting","level":3,"score":0.6794849038124084},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.611980676651001},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.570968508720398},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.5380672216415405},{"id":"https://openalex.org/C2776654903","wikidata":"https://www.wikidata.org/wiki/Q2601463","display_name":"SAFER","level":2,"score":0.5314503908157349},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5176518559455872},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.45324957370758057},{"id":"https://openalex.org/C90307666","wikidata":"https://www.wikidata.org/wiki/Q1932562","display_name":"sysfs","level":3,"score":0.45213454961776733},{"id":"https://openalex.org/C553261973","wikidata":"https://www.wikidata.org/wiki/Q14579","display_name":"Linux kernel","level":2,"score":0.4362366795539856},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3237800598144531},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.23253285884857178},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.10218530893325806},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2022.3229461","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3229461","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09987502.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:6856f05e7b4a4d0ca43e14399a4f04b5","is_oa":false,"landing_page_url":"https://doaj.org/article/6856f05e7b4a4d0ca43e14399a4f04b5","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 10, Pp 134502-134511 (2022)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2022.3229461","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3229461","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09987502.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5699999928474426,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4313021234.pdf","grobid_xml":"https://content.openalex.org/works/W4313021234.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W2061117785","https://openalex.org/W2097990218","https://openalex.org/W2098806455","https://openalex.org/W2152704932","https://openalex.org/W2575425722","https://openalex.org/W2766711930","https://openalex.org/W2927543040","https://openalex.org/W2972595880","https://openalex.org/W4200428004","https://openalex.org/W4248459230","https://openalex.org/W4250715792","https://openalex.org/W4285413708","https://openalex.org/W6600829977","https://openalex.org/W6605946471","https://openalex.org/W6743674107","https://openalex.org/W6743674419","https://openalex.org/W6782383553"],"related_works":["https://openalex.org/W2356262521","https://openalex.org/W2370998211","https://openalex.org/W2359242716","https://openalex.org/W2354677839","https://openalex.org/W2351352110","https://openalex.org/W2358554276","https://openalex.org/W2902191249","https://openalex.org/W2363761230","https://openalex.org/W2186516977","https://openalex.org/W2367247215"],"abstract_inverted_index":{"Since":[0],"its":[1,28,57],"creation,":[2],"the":[3,30,33,75,78,85,108,138,144,153,157],"Linux":[4],"kernel":[5,34,86,109,158],"has":[6,11,35],"gained":[7],"international":[8],"recognition":[9],"and":[10,24,64,122],"been":[12],"employed":[13],"on":[14],"a":[15,37,42,44,114,124,131],"large":[16],"range":[17,46],"of":[18,32,47,133,146,156],"devices:":[19],"servers,":[20],"supercomputers,":[21],"smart":[22],"devices":[23],"embedded":[25],"systems.":[26],"Given":[27],"popularity,":[29],"security":[31,154],"become":[36],"critical":[38],"research":[39],"topic.":[40],"As":[41],"consequence,":[43],"wide":[45],"third":[48],"party":[49],"tools":[50],"were":[51],"created":[52],"to":[53,91,105,113,141],"detect":[54],"bugs":[55],"in":[56,74],"implementation.":[58],"However,":[59],"new":[60],"vulnerabilities":[61],"are":[62],"discovered":[63],"exploited":[65],"every":[66],"year.":[67],"The":[68],"explanation":[69],"for":[70,84],"this":[71,97],"phenomenon":[72],"lies":[73],"fact":[76],"that":[77,81,101,136],"programming":[79,117],"language":[80],"is":[82,89,103],"used":[83],"implementation,":[87],"C,":[88],"designed":[90],"allow":[92,137],"unsafe":[93],"memory":[94,115,148],"operations.":[95,149],"In":[96,127],"paper,":[98],"we":[99,129],"show":[100],"it":[102],"possible":[104],"incrementally":[106],"transition":[107],"code":[110,134],"from":[111],"C":[112],"safe":[116],"language,":[118],"D,":[119],"by":[120],"porting":[121],"integrating":[123],"device":[125],"driver.":[126],"addition,":[128],"propose":[130],"series":[132],"transformations":[135],"D":[139],"compiler":[140],"reason":[142],"about":[143],"safety":[145],"certain":[147],"Our":[150],"implementation":[151],"increases":[152],"guarantees":[155],"without":[159],"incurring":[160],"any":[161],"performance":[162],"penalties.":[163]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}