{"id":"https://openalex.org/W4220822401","doi":"https://doi.org/10.1145/3492321.3519562","title":"Verified programs can party","display_name":"Verified programs can party","publication_year":2022,"publication_date":"2022-03-28","ids":{"openalex":"https://openalex.org/W4220822401","doi":"https://doi.org/10.1145/3492321.3519562"},"language":"en","primary_location":{"id":"doi:10.1145/3492321.3519562","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3492321.3519562","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth European Conference on Computer Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://vtechworks.lib.vt.edu/bitstreams/1302a275-436d-4b2c-a60c-6caccf8c11bb/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003772269","display_name":"Hsuan-Chi Kuo","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hsuan-Chi Kuo","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018894719","display_name":"Kai-Hsun Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kai-Hsun Chen","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100306890","display_name":"Yicheng Lu","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yicheng Lu","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045373894","display_name":"Dan Williams","orcid":"https://orcid.org/0000-0003-1537-0525"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dan Williams","raw_affiliation_strings":["Virginia Tech"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Virginia Tech","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081803093","display_name":"Sibin Mohan","orcid":"https://orcid.org/0000-0002-3295-0233"},"institutions":[{"id":"https://openalex.org/I131249849","display_name":"Oregon State University","ror":"https://ror.org/00ysfqy60","country_code":"US","type":"education","lineage":["https://openalex.org/I131249849"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sibin Mohan","raw_affiliation_strings":["Oregon State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Oregon State University","institution_ids":["https://openalex.org/I131249849"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027605695","display_name":"Tianyin Xu","orcid":"https://orcid.org/0000-0003-4443-8170"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tianyin Xu","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.081,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.88575631,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"283","last_page":"299"},"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.9968000054359436,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9883000254631042,"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/computer-science","display_name":"Computer science","score":0.7521432638168335},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.7221086621284485},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.7112895250320435},{"id":"https://openalex.org/keywords/superpower","display_name":"Superpower","score":0.6943409442901611},{"id":"https://openalex.org/keywords/hook","display_name":"Hook","score":0.6195524334907532},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.6037269830703735},{"id":"https://openalex.org/keywords/system-call","display_name":"System call","score":0.5610165596008301},{"id":"https://openalex.org/keywords/linux-kernel","display_name":"Linux kernel","score":0.5439391732215881},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3862024247646332},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1274237036705017}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7521432638168335},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.7221086621284485},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.7112895250320435},{"id":"https://openalex.org/C2780219775","wikidata":"https://www.wikidata.org/wiki/Q1489259","display_name":"Superpower","level":3,"score":0.6943409442901611},{"id":"https://openalex.org/C2777586403","wikidata":"https://www.wikidata.org/wiki/Q4243098","display_name":"Hook","level":2,"score":0.6195524334907532},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.6037269830703735},{"id":"https://openalex.org/C2778579508","wikidata":"https://www.wikidata.org/wiki/Q722192","display_name":"System call","level":2,"score":0.5610165596008301},{"id":"https://openalex.org/C553261973","wikidata":"https://www.wikidata.org/wiki/Q14579","display_name":"Linux kernel","level":2,"score":0.5439391732215881},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3862024247646332},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1274237036705017},{"id":"https://openalex.org/C191935318","wikidata":"https://www.wikidata.org/wiki/Q148","display_name":"China","level":2,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3492321.3519562","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3492321.3519562","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth European Conference on Computer Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:vtechworks.lib.vt.edu:10919/112228","is_oa":true,"landing_page_url":"http://hdl.handle.net/10919/112228","pdf_url":"https://vtechworks.lib.vt.edu/bitstreams/1302a275-436d-4b2c-a60c-6caccf8c11bb/download","source":{"id":"https://openalex.org/S4306400248","display_name":"VTechWorks (Virginia Tech)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I859038795","host_organization_name":"Virginia Tech","host_organization_lineage":["https://openalex.org/I859038795"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"}],"best_oa_location":{"id":"pmh:oai:vtechworks.lib.vt.edu:10919/112228","is_oa":true,"landing_page_url":"http://hdl.handle.net/10919/112228","pdf_url":"https://vtechworks.lib.vt.edu/bitstreams/1302a275-436d-4b2c-a60c-6caccf8c11bb/download","source":{"id":"https://openalex.org/S4306400248","display_name":"VTechWorks (Virginia Tech)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I859038795","host_organization_name":"Virginia Tech","host_organization_lineage":["https://openalex.org/I859038795"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2236247200","display_name":null,"funder_award_id":"CNS-1956007,CCF-2029049,CNS-2130560,CNS-2145295,CCF-1816615","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2374893308","display_name":null,"funder_award_id":"1956007","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4139285423","display_name":"SHF: Small: Science and Tools for Intelligent Developer Testing","funder_award_id":"1816615","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4210137855","display_name":null,"funder_award_id":"CNS-2145295","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4504108201","display_name":null,"funder_award_id":"N00014-17-1","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6024149408","display_name":"CAREER: Rethinking Configuration Management for Cloud and Datacenter Systems","funder_award_id":"2145295","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6483216003","display_name":null,"funder_award_id":"CNS-2130560","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7106123884","display_name":"Collaborative Research: CNS Core: Small: A new framework for building fail-slow fault-tolerant distributed systems","funder_award_id":"2130560","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7470992802","display_name":null,"funder_award_id":"N00014-17-1-2889","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G7692819673","display_name":null,"funder_award_id":"CCF-1816615","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4220822401.pdf","grobid_xml":"https://content.openalex.org/works/W4220822401.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W149299412","https://openalex.org/W2013137740","https://openalex.org/W2127687018","https://openalex.org/W2136310957","https://openalex.org/W2137756679","https://openalex.org/W2138381338","https://openalex.org/W2613995098","https://openalex.org/W2621197600","https://openalex.org/W2737753757","https://openalex.org/W2781723315","https://openalex.org/W2829740438","https://openalex.org/W2886607978","https://openalex.org/W2887913556","https://openalex.org/W2896149153","https://openalex.org/W2896320468","https://openalex.org/W2903038868","https://openalex.org/W2908083959","https://openalex.org/W2919240745","https://openalex.org/W2954549386","https://openalex.org/W2955470004","https://openalex.org/W2963311060","https://openalex.org/W2963776609","https://openalex.org/W2974073952","https://openalex.org/W2981413263","https://openalex.org/W3006781940","https://openalex.org/W3015216799","https://openalex.org/W3035026831","https://openalex.org/W3042778520","https://openalex.org/W3046502915","https://openalex.org/W3081770884","https://openalex.org/W3095227533","https://openalex.org/W3097541501","https://openalex.org/W3109894774","https://openalex.org/W3134199133","https://openalex.org/W3135854108","https://openalex.org/W3156978076","https://openalex.org/W3165162036","https://openalex.org/W3168432147","https://openalex.org/W3173828422","https://openalex.org/W4240643913","https://openalex.org/W6605212508","https://openalex.org/W6753443810","https://openalex.org/W6754910915","https://openalex.org/W6790430570"],"related_works":["https://openalex.org/W2377509977","https://openalex.org/W2354398839","https://openalex.org/W23760953","https://openalex.org/W1970216380","https://openalex.org/W2123619123","https://openalex.org/W2373778029","https://openalex.org/W840375602","https://openalex.org/W2171038386","https://openalex.org/W2388015973","https://openalex.org/W2119016902"],"abstract_inverted_index":{"Operating":[0],"system":[1],"(OS)":[2],"extensions":[3,40],"are":[4,45],"more":[5],"popular":[6],"than":[7],"ever.":[8],"For":[9],"example,":[10],"Linux":[11],"BPF":[12,39],"is":[13],"marketed":[14],"as":[15],"a":[16],"\"superpower\"":[17],"that":[18],"allows":[19],"user":[20],"programs":[21],"to":[22,29],"be":[23,30],"downloaded":[24],"into":[25],"the":[26],"kernel,":[27],"verified":[28],"safe":[31],"and":[32,44,53],"executed":[33],"at":[34,48],"kernel":[35],"hook":[36],"points.":[37],"So,":[38],"have":[41],"high":[42],"performance":[43],"often":[46],"placed":[47],"performance-critical":[49],"paths":[50],"for":[51],"tracing":[52],"filtering.":[54]},"counts_by_year":[{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2022-04-03T00:00:00"}