{"id":"https://openalex.org/W4411242114","doi":"https://doi.org/10.1145/3743678","title":"Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation","display_name":"Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation","publication_year":2025,"publication_date":"2025-06-12","ids":{"openalex":"https://openalex.org/W4411242114","doi":"https://doi.org/10.1145/3743678"},"language":"en","primary_location":{"id":"doi:10.1145/3743678","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3743678","pdf_url":null,"source":{"id":"https://openalex.org/S4210174050","display_name":"ACM Transactions on Privacy and Security","issn_l":"2471-2566","issn":["2471-2566","2471-2574"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Privacy and Security","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3743678","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5099111558","display_name":"Davide Davoli","orcid":"https://orcid.org/0009-0009-2981-2962"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I4210126779","display_name":"Observatoire de la C\u00f4te d\u2019Azur","ror":"https://ror.org/039fj2469","country_code":"FR","type":"facility","lineage":["https://openalex.org/I201841394","https://openalex.org/I4210126779"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Davide Davoli","raw_affiliation_strings":["Inria","Universit\u00e9 C\u00f4te d?Azur","Inria,  Sophia Antipolis, France","Universit\u00e9 C\u00f4te d'Azur,  Nice France"],"affiliations":[{"raw_affiliation_string":"Inria","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Universit\u00e9 C\u00f4te d?Azur","institution_ids":["https://openalex.org/I4210126779"]},{"raw_affiliation_string":"Inria,  Sophia Antipolis, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Universit\u00e9 C\u00f4te d'Azur,  Nice France","institution_ids":["https://openalex.org/I201841394"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048841494","display_name":"Martin Avanzini","orcid":"https://orcid.org/0000-0002-6445-8833"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I4210126779","display_name":"Observatoire de la C\u00f4te d\u2019Azur","ror":"https://ror.org/039fj2469","country_code":"FR","type":"facility","lineage":["https://openalex.org/I201841394","https://openalex.org/I4210126779"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Martin Avanzini","raw_affiliation_strings":["Inria","Universit\u00e9 C\u00f4te d?Azur","Inria,  Sophia Antipolis France","Universit\u00e9 C\u00f4te d'Azur,  Nice France"],"affiliations":[{"raw_affiliation_string":"Inria","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Universit\u00e9 C\u00f4te d?Azur","institution_ids":["https://openalex.org/I4210126779"]},{"raw_affiliation_string":"Inria,  Sophia Antipolis France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Universit\u00e9 C\u00f4te d'Azur,  Nice France","institution_ids":["https://openalex.org/I201841394"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087729716","display_name":"Tamara Rezk","orcid":"https://orcid.org/0000-0003-3744-0248"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I4210126779","display_name":"Observatoire de la C\u00f4te d\u2019Azur","ror":"https://ror.org/039fj2469","country_code":"FR","type":"facility","lineage":["https://openalex.org/I201841394","https://openalex.org/I4210126779"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Tamara Rezk","raw_affiliation_strings":["Inria","Universit\u00e9 C\u00f4te d?Azur","Universit\u00e9 C\u00f4te d'Azur,  Nice France","Inria,  Sophia Antipolis France"],"affiliations":[{"raw_affiliation_string":"Inria","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Universit\u00e9 C\u00f4te d?Azur","institution_ids":["https://openalex.org/I4210126779"]},{"raw_affiliation_string":"Universit\u00e9 C\u00f4te d'Azur,  Nice France","institution_ids":["https://openalex.org/I201841394"]},{"raw_affiliation_string":"Inria,  Sophia Antipolis France","institution_ids":["https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5099111558"],"corresponding_institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210126779"],"apc_list":null,"apc_paid":null,"fwci":2.3431,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.8951878,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"28","issue":"3","first_page":"1","last_page":"39"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":1.0,"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":1.0,"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.9879000186920166,"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.980400025844574,"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/kernel","display_name":"Kernel (algebra)","score":0.589211642742157},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.47148463129997253},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20620214939117432},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.058213621377944946}],"concepts":[{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.589211642742157},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47148463129997253},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20620214939117432},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.058213621377944946}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3743678","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3743678","pdf_url":null,"source":{"id":"https://openalex.org/S4210174050","display_name":"ACM Transactions on Privacy and Security","issn_l":"2471-2566","issn":["2471-2566","2471-2574"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Privacy and Security","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-05173527v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05173527","pdf_url":"https://hal.science/hal-05173527v1/file/paper.pdf","source":{"id":"https://openalex.org/S4406922466","display_name":"SPIRE - Sciences Po Institutional REpository","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Privacy and Security, 2025, ⟨10.1145/3743678⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"doi:10.1145/3743678","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3743678","pdf_url":null,"source":{"id":"https://openalex.org/S4210174050","display_name":"ACM Transactions on Privacy and Security","issn_l":"2471-2566","issn":["2471-2566","2471-2574"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Privacy and Security","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2659019386","display_name":null,"funder_award_id":"ANR-17-EURE-","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3692377274","display_name":null,"funder_award_id":"ANR-17-EURE-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5630019670","display_name":null,"funder_award_id":"ANR-17-EURE-000","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5764027818","display_name":null,"funder_award_id":"ANR-17-EUR","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6803667113","display_name":null,"funder_award_id":"ANR-17","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7658081560","display_name":null,"funder_award_id":"Aurore","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8318455765","display_name":null,"funder_award_id":"ANR-19","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8683756101","display_name":null,"funder_award_id":"support","funder_id":"https://openalex.org/F4320322327","funder_display_name":"Knut och Alice Wallenbergs Stiftelse"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320322327","display_name":"Knut och Alice Wallenbergs Stiftelse","ror":"https://ror.org/004hzzk67"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W975608630","https://openalex.org/W1538245821","https://openalex.org/W1586547048","https://openalex.org/W1904738922","https://openalex.org/W1964281299","https://openalex.org/W2071929572","https://openalex.org/W2090483038","https://openalex.org/W2098010707","https://openalex.org/W2109219878","https://openalex.org/W2133592286","https://openalex.org/W2172131317","https://openalex.org/W2368550879","https://openalex.org/W2532499458","https://openalex.org/W2664885055","https://openalex.org/W2733470343","https://openalex.org/W2765323128","https://openalex.org/W2913208203","https://openalex.org/W2979633637","https://openalex.org/W3034103899","https://openalex.org/W3048784143","https://openalex.org/W3096372727","https://openalex.org/W3097736620","https://openalex.org/W3108020564","https://openalex.org/W3122275765","https://openalex.org/W3153387123","https://openalex.org/W3156526578","https://openalex.org/W3207150733","https://openalex.org/W3212308234","https://openalex.org/W3213572793","https://openalex.org/W4210252123","https://openalex.org/W4220832017","https://openalex.org/W4232120412","https://openalex.org/W4237907241","https://openalex.org/W4246166885","https://openalex.org/W4250981365","https://openalex.org/W4251217464","https://openalex.org/W4281779787","https://openalex.org/W4299581173","https://openalex.org/W4300470068","https://openalex.org/W4308361262","https://openalex.org/W4321195913","https://openalex.org/W4387993764","https://openalex.org/W4389476379","https://openalex.org/W4411242114","https://openalex.org/W6653962647"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"The":[0],"efficacy":[1],"of":[2,102],"address":[3],"space":[4],"layout":[5,31,65,89],"randomization":[6,32,66],"has":[7],"been":[8],"formally":[9],"demonstrated":[10],"in":[11,33,72,79,122],"a":[12,43,68,73],"shared-memory":[13],"model":[14,46],"by":[15],"Abadi":[16,57],"et":[17,58],"al.,":[18],"contingent":[19],"on":[20,42,137],"specific":[21],"assumptions":[22,39,61],"about":[23],"victim":[24],"programs.":[25],"However,":[26,78],"modern":[27],"operating":[28],"systems,":[29],"implementing":[30],"the":[34,123,138],"kernel,":[35],"diverge":[36],"from":[37],"these":[38],"and":[40,83,105,108,131],"operate":[41],"separate":[44],"memory":[45,76],"with":[47,75],"communication":[48],"through":[49],"system":[50,74,120],"calls.":[51],"In":[52],"this":[53],"work,":[54],"we":[55,132],"relax":[56],"al.\u2019s":[59],"language":[60],"while":[62],"demonstrating":[63],"that":[64,93,112],"offers":[67],"comparable":[69],"safety":[70,95,117],"guarantee":[71,114],"separation.":[77],"practice,":[80],"speculative":[81,106,115],"execution":[82],"side-channels":[84,104],"are":[85],"recognized":[86],"threats":[87],"to":[88],"randomization.":[90],"We":[91,126],"show":[92],"kernel":[94,116],"cannot":[96],"be":[97],"restored":[98],"for":[99,118],"attackers":[100],"capable":[101],"using":[103],"execution,":[107],"introduce":[109],"enforcement":[110],"mechanisms":[111,130],"can":[113],"safe":[119],"calls":[121],"Spectre":[124],"era.":[125],"implement":[127],"three":[128],"suitable":[129],"evaluate":[133],"their":[134],"performance":[135],"overhead":[136],"Linux":[139],"kernel.":[140]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}