{"id":"https://openalex.org/W4405182222","doi":"https://doi.org/10.1145/3658644.3690344","title":"\u03bcCFI: Formal Verification of Microarchitectural Control-flow Integrity","display_name":"\u03bcCFI: Formal Verification of Microarchitectural Control-flow Integrity","publication_year":2024,"publication_date":"2024-12-02","ids":{"openalex":"https://openalex.org/W4405182222","doi":"https://doi.org/10.1145/3658644.3690344"},"language":"en","primary_location":{"id":"doi:10.1145/3658644.3690344","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3658644.3690344","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3658644.3690344","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security","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/3658644.3690344","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061394702","display_name":"Katharina Ceesay-Seitz","orcid":"https://orcid.org/0000-0001-8398-2705"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Katharina Ceesay-Seitz","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052808944","display_name":"Flavien Solt","orcid":"https://orcid.org/0000-0002-0872-5562"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Flavien Solt","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082033768","display_name":"Kaveh Razavi","orcid":"https://orcid.org/0000-0002-8588-7100"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Kaveh Razavi","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5061394702"],"corresponding_institution_ids":["https://openalex.org/I35440088"],"apc_list":null,"apc_paid":null,"fwci":1.0911,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.82492347,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"213","last_page":"227"},"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9811000227928162,"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"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9467999935150146,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8353563547134399},{"id":"https://openalex.org/keywords/operand","display_name":"Operand","score":0.6894444823265076},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.6718547940254211},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.6631717085838318},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5983788967132568},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5903562903404236},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.4729803800582886},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.41175588965415955},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.4111177921295166},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3609185516834259},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.21476858854293823},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.20539799332618713}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8353563547134399},{"id":"https://openalex.org/C55526617","wikidata":"https://www.wikidata.org/wiki/Q719375","display_name":"Operand","level":2,"score":0.6894444823265076},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.6718547940254211},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.6631717085838318},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5983788967132568},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5903562903404236},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.4729803800582886},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.41175588965415955},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.4111177921295166},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3609185516834259},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.21476858854293823},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.20539799332618713},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3658644.3690344","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3658644.3690344","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3658644.3690344","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3658644.3690344","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3658644.3690344","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3658644.3690344","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.44999998807907104,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4405182222.pdf"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W1969501726","https://openalex.org/W2031641633","https://openalex.org/W2068382945","https://openalex.org/W2071929572","https://openalex.org/W2088383546","https://openalex.org/W2159059513","https://openalex.org/W2612687770","https://openalex.org/W2614052576","https://openalex.org/W2899703500","https://openalex.org/W2899727632","https://openalex.org/W2944272628","https://openalex.org/W2947455595","https://openalex.org/W2979406021","https://openalex.org/W3018689464","https://openalex.org/W3034103899","https://openalex.org/W3112086696","https://openalex.org/W3115684912","https://openalex.org/W3133898618","https://openalex.org/W3138459719","https://openalex.org/W3153387123","https://openalex.org/W3159043981","https://openalex.org/W3202816353","https://openalex.org/W3205101829","https://openalex.org/W3213572793","https://openalex.org/W3213583497","https://openalex.org/W3214469396","https://openalex.org/W4237041209","https://openalex.org/W4252481514","https://openalex.org/W4252672524","https://openalex.org/W4280651678","https://openalex.org/W4281986595","https://openalex.org/W4285236231","https://openalex.org/W4308083910","https://openalex.org/W4313496551","https://openalex.org/W4362679564","https://openalex.org/W4378192144","https://openalex.org/W4380881061","https://openalex.org/W4388858498","https://openalex.org/W4389476379","https://openalex.org/W4389491857","https://openalex.org/W4391631673","https://openalex.org/W4392543885","https://openalex.org/W4405182222","https://openalex.org/W4409282405"],"related_works":["https://openalex.org/W3036403349","https://openalex.org/W2035244079","https://openalex.org/W4301348901","https://openalex.org/W2962898432","https://openalex.org/W2392047570","https://openalex.org/W2350806125","https://openalex.org/W4205924073","https://openalex.org/W2391022620","https://openalex.org/W2059150015","https://openalex.org/W2361469993"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}