{"id":"https://openalex.org/W3168432147","doi":"https://doi.org/10.1145/3458336.3465277","title":"An incremental path towards a safer OS kernel","display_name":"An incremental path towards a safer OS kernel","publication_year":2021,"publication_date":"2021-06-01","ids":{"openalex":"https://openalex.org/W3168432147","doi":"https://doi.org/10.1145/3458336.3465277","mag":"3168432147"},"language":"en","primary_location":{"id":"doi:10.1145/3458336.3465277","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3458336.3465277","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3458336.3465277","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Workshop on Hot Topics in Operating Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3458336.3465277","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100329081","display_name":"Jialin Li","orcid":"https://orcid.org/0000-0002-2117-1947"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jialin Li","raw_affiliation_strings":["University of Washington"],"affiliations":[{"raw_affiliation_string":"University of Washington","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073893222","display_name":"Samantha Miller","orcid":"https://orcid.org/0009-0003-8824-4527"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samantha Miller","raw_affiliation_strings":["University of Washington"],"affiliations":[{"raw_affiliation_string":"University of Washington","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007943946","display_name":"Danyang Zhuo","orcid":"https://orcid.org/0000-0002-0611-3941"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Danyang Zhuo","raw_affiliation_strings":["Duke University"],"affiliations":[{"raw_affiliation_string":"Duke University","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100683545","display_name":"Ang Chen","orcid":"https://orcid.org/0009-0003-0076-8423"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ang Chen","raw_affiliation_strings":["Rice University"],"affiliations":[{"raw_affiliation_string":"Rice University","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023305744","display_name":"Jon Howell","orcid":"https://orcid.org/0000-0002-1781-2473"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jon Howell","raw_affiliation_strings":["VMware Research"],"affiliations":[{"raw_affiliation_string":"VMware Research","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087154420","display_name":"Thomas E. Anderson","orcid":"https://orcid.org/0000-0002-5682-8929"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Thomas Anderson","raw_affiliation_strings":["University of Washington"],"affiliations":[{"raw_affiliation_string":"University of Washington","institution_ids":["https://openalex.org/I201448701"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5100329081"],"corresponding_institution_ids":["https://openalex.org/I201448701"],"apc_list":null,"apc_paid":null,"fwci":1.2597,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.83569365,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"183","last_page":"190"},"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.9998999834060669,"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.9998999834060669,"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.9984999895095825,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/linux-kernel","display_name":"Linux kernel","score":0.836167573928833},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.716498613357544},{"id":"https://openalex.org/keywords/safer","display_name":"SAFER","score":0.7111008763313293},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.6759624481201172},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.6723348498344421},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.4164978861808777},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3948149085044861},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.36985236406326294}],"concepts":[{"id":"https://openalex.org/C553261973","wikidata":"https://www.wikidata.org/wiki/Q14579","display_name":"Linux kernel","level":2,"score":0.836167573928833},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.716498613357544},{"id":"https://openalex.org/C2776654903","wikidata":"https://www.wikidata.org/wiki/Q2601463","display_name":"SAFER","level":2,"score":0.7111008763313293},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.6759624481201172},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.6723348498344421},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.4164978861808777},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3948149085044861},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.36985236406326294},{"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":1,"locations":[{"id":"doi:10.1145/3458336.3465277","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3458336.3465277","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3458336.3465277","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Workshop on Hot Topics in Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3458336.3465277","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3458336.3465277","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3458336.3465277","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Workshop on Hot Topics in Operating Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.5299999713897705,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1934623967","display_name":null,"funder_award_id":"CNS-1856636 AM04,DGE-1762114","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2894790904","display_name":"CNS Core: Medium: Collaborative Research: Cross Layer File Systems","funder_award_id":"1856636","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2926445644","display_name":null,"funder_award_id":"DGE-176211","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4509680172","display_name":null,"funder_award_id":"1762114","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5349147518","display_name":null,"funder_award_id":"-1762114","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6165841408","display_name":null,"funder_award_id":"DGE-1762114.","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8497923736","display_name":null,"funder_award_id":"DGE-1762114","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3168432147.pdf","grobid_xml":"https://content.openalex.org/works/W3168432147.grobid-xml"},"referenced_works_count":50,"referenced_works":["https://openalex.org/W1434079718","https://openalex.org/W2024564841","https://openalex.org/W2073742357","https://openalex.org/W2079029390","https://openalex.org/W2083355374","https://openalex.org/W2083469471","https://openalex.org/W2086795351","https://openalex.org/W2091776255","https://openalex.org/W2105349588","https://openalex.org/W2127321265","https://openalex.org/W2130427425","https://openalex.org/W2131238817","https://openalex.org/W2136310957","https://openalex.org/W2138664028","https://openalex.org/W2146878883","https://openalex.org/W2148686658","https://openalex.org/W2167814583","https://openalex.org/W2168075869","https://openalex.org/W2534135179","https://openalex.org/W2576393274","https://openalex.org/W2578546025","https://openalex.org/W2761236351","https://openalex.org/W2761718075","https://openalex.org/W2762171171","https://openalex.org/W2779850521","https://openalex.org/W2899000846","https://openalex.org/W2899375714","https://openalex.org/W2926556002","https://openalex.org/W2968129087","https://openalex.org/W2974073952","https://openalex.org/W2982041059","https://openalex.org/W2982176300","https://openalex.org/W2982259651","https://openalex.org/W2996902515","https://openalex.org/W2999200532","https://openalex.org/W3011591621","https://openalex.org/W3011737828","https://openalex.org/W3034158217","https://openalex.org/W3095474101","https://openalex.org/W3097183624","https://openalex.org/W3097965369","https://openalex.org/W3131726471","https://openalex.org/W3149170319","https://openalex.org/W3150368109","https://openalex.org/W4230700489","https://openalex.org/W4233766148","https://openalex.org/W4241316177","https://openalex.org/W4245410964","https://openalex.org/W6600804862","https://openalex.org/W6778305273"],"related_works":["https://openalex.org/W3167991936","https://openalex.org/W3094720421","https://openalex.org/W2354252607","https://openalex.org/W3044972519","https://openalex.org/W2521388331","https://openalex.org/W2418004379","https://openalex.org/W2355099047","https://openalex.org/W2274628782","https://openalex.org/W2912106162","https://openalex.org/W191604553"],"abstract_inverted_index":{"Linux":[0,29,57],"has":[1],"become":[2],"the":[3,33,70,81],"de-facto":[4],"operating":[5],"system":[6],"of":[7,35],"our":[8],"age,":[9],"but":[10],"its":[11],"vulnerabilities":[12],"are":[13],"a":[14,55],"constant":[15],"threat":[16],"to":[17,41,54],"service":[18],"availability,":[19],"user":[20],"privacy,":[21],"and":[22,30,61,73,79],"data":[23],"integrity.":[24],"While":[25],"one":[26],"might":[27],"scrap":[28],"start":[31],"over,":[32],"cost":[34],"that":[36],"would":[37],"be":[38],"prohibitive":[39],"due":[40],"Linux's":[42],"ubiquitous":[43],"deployment.":[44],"In":[45],"this":[46,77],"paper,":[47],"we":[48],"propose":[49],"an":[50],"alternative,":[51],"incremental":[52],"route":[53],"safer":[56],"through":[58],"proper":[59],"modularization":[60],"gradual":[62],"replacement":[63],"module":[64],"by":[65],"module.":[66],"We":[67],"lay":[68],"out":[69],"research":[71],"challenges":[72],"potential":[74],"solutions":[75],"for":[76],"route,":[78],"discuss":[80],"open":[82],"questions":[83],"ahead.":[84]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}