{"id":"https://openalex.org/W4401991116","doi":"https://doi.org/10.1109/tifs.2024.3452002","title":"SCAFinder: Formal Verification of Cache Fine-Grained Features for Side Channel Detection","display_name":"SCAFinder: Formal Verification of Cache Fine-Grained Features for Side Channel Detection","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4401991116","doi":"https://doi.org/10.1109/tifs.2024.3452002"},"language":"en","primary_location":{"id":"doi:10.1109/tifs.2024.3452002","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/tifs.2024.3452002","pdf_url":null,"source":{"id":"https://openalex.org/S61310614","display_name":"IEEE Transactions on Information Forensics and Security","issn_l":"1556-6013","issn":["1556-6013","1556-6021"],"is_oa":false,"is_in_doaj":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Forensics and Security","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022570341","display_name":"Shixuan Zhang","orcid":"https://orcid.org/0009-0000-3801-3788"},"institutions":[{"id":"https://openalex.org/I204983213","display_name":"Harbin Institute of Technology","ror":"https://ror.org/01yqg2h08","country_code":"CN","type":"education","lineage":["https://openalex.org/I204983213"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Shixuan Zhang","raw_affiliation_strings":["School of Computer Science and Technology, Harbin Institute of Technology, Shenzhen, Guangdong, China"],"raw_orcid":"https://orcid.org/0009-0000-3801-3788","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Harbin Institute of Technology, Shenzhen, Guangdong, China","institution_ids":["https://openalex.org/I204983213"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009961413","display_name":"Haixia Wang","orcid":"https://orcid.org/0000-0001-8897-4819"},"institutions":[{"id":"https://openalex.org/I204983213","display_name":"Harbin Institute of Technology","ror":"https://ror.org/01yqg2h08","country_code":"CN","type":"education","lineage":["https://openalex.org/I204983213"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haixia Wang","raw_affiliation_strings":["National Research Center for Information Science and Technology, Tsinghua University, Beijing, China","School of Computer Science and Technology, Harbin Institute of Technology, Shenzhen, Guangdong, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Research Center for Information Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"School of Computer Science and Technology, Harbin Institute of Technology, Shenzhen, Guangdong, China","institution_ids":["https://openalex.org/I204983213"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003865038","display_name":"Pengfei Qiu","orcid":"https://orcid.org/0009-0009-4043-2119"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Pengfei Qiu","raw_affiliation_strings":["Key Laboratory of Trustworthy Distributed Computing and Service, Ministry of Education, Beijing University of Posts and Telecommunications (BUPT), Beijing, China"],"raw_orcid":"https://orcid.org/0009-0009-4043-2119","affiliations":[{"raw_affiliation_string":"Key Laboratory of Trustworthy Distributed Computing and Service, Ministry of Education, Beijing University of Posts and Telecommunications (BUPT), Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058507537","display_name":"Yongqiang Lyu","orcid":"https://orcid.org/0000-0003-2573-963X"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongqiang Lyu","raw_affiliation_strings":["National Research Center for Information Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-2573-963X","affiliations":[{"raw_affiliation_string":"National Research Center for Information Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100608721","display_name":"Hongpeng Wang","orcid":"https://orcid.org/0000-0001-8108-2674"},"institutions":[{"id":"https://openalex.org/I204983213","display_name":"Harbin Institute of Technology","ror":"https://ror.org/01yqg2h08","country_code":"CN","type":"education","lineage":["https://openalex.org/I204983213"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongpeng Wang","raw_affiliation_strings":["National Research Center for Information Science and Technology, Tsinghua University, Beijing, China","School of Computer Science and Technology, Harbin Institute of Technology, Shenzhen, Guangdong, China"],"raw_orcid":"https://orcid.org/0000-0001-8108-2674","affiliations":[{"raw_affiliation_string":"National Research Center for Information Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"School of Computer Science and Technology, Harbin Institute of Technology, Shenzhen, Guangdong, China","institution_ids":["https://openalex.org/I204983213"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100450580","display_name":"Dongsheng Wang","orcid":"https://orcid.org/0000-0001-7676-7767"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dongsheng Wang","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5022570341"],"corresponding_institution_ids":["https://openalex.org/I204983213"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11712572,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"19","issue":null,"first_page":"8079","last_page":"8093"},"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.9976000189781189,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9973000288009644,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8482550978660583},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.6699013113975525},{"id":"https://openalex.org/keywords/side-channel-attack","display_name":"Side channel attack","score":0.5538206100463867},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.44824302196502686},{"id":"https://openalex.org/keywords/channel","display_name":"Channel (broadcasting)","score":0.442646861076355},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4094788432121277},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.32318609952926636},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.30222073197364807},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18057864904403687},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.16999945044517517},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.15177804231643677}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8482550978660583},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.6699013113975525},{"id":"https://openalex.org/C49289754","wikidata":"https://www.wikidata.org/wiki/Q2267081","display_name":"Side channel attack","level":3,"score":0.5538206100463867},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.44824302196502686},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.442646861076355},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4094788432121277},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.32318609952926636},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.30222073197364807},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18057864904403687},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.16999945044517517},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.15177804231643677}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tifs.2024.3452002","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/tifs.2024.3452002","pdf_url":null,"source":{"id":"https://openalex.org/S61310614","display_name":"IEEE Transactions on Information Forensics and Security","issn_l":"1556-6013","issn":["1556-6013","1556-6021"],"is_oa":false,"is_in_doaj":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Forensics and Security","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","score":0.5600000023841858,"display_name":"Climate action"}],"awards":[{"id":"https://openalex.org/G2055012333","display_name":null,"funder_award_id":"U23B2041","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G512392546","display_name":null,"funder_award_id":"JCYJ20210324132212030","funder_id":"https://openalex.org/F4320335803","funder_display_name":"Shenzhen Fundamental Research and Discipline Layout project"},{"id":"https://openalex.org/G6714212579","display_name":null,"funder_award_id":"62072263","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8737586063","display_name":null,"funder_award_id":"62372258","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335803","display_name":"Shenzhen Fundamental Research and Discipline Layout project","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W1488058190","https://openalex.org/W1489391022","https://openalex.org/W1590315663","https://openalex.org/W1934458198","https://openalex.org/W1964281299","https://openalex.org/W2004306067","https://openalex.org/W2041103425","https://openalex.org/W2061438988","https://openalex.org/W2117189826","https://openalex.org/W2131202839","https://openalex.org/W2166293920","https://openalex.org/W2172060328","https://openalex.org/W2337480911","https://openalex.org/W2507765405","https://openalex.org/W2532499458","https://openalex.org/W2785607367","https://openalex.org/W2792326895","https://openalex.org/W2795015774","https://openalex.org/W2804883849","https://openalex.org/W2904129921","https://openalex.org/W2934166125","https://openalex.org/W2954241526","https://openalex.org/W2963311060","https://openalex.org/W2976763854","https://openalex.org/W2991055900","https://openalex.org/W3007037833","https://openalex.org/W3015844221","https://openalex.org/W3016511751","https://openalex.org/W3019195326","https://openalex.org/W3106626168","https://openalex.org/W3144889436","https://openalex.org/W3211301023","https://openalex.org/W3212690958","https://openalex.org/W4212981280","https://openalex.org/W4231359931","https://openalex.org/W4242741415","https://openalex.org/W4288057706","https://openalex.org/W4308083741","https://openalex.org/W4311165841","https://openalex.org/W4312121004","https://openalex.org/W4379116144","https://openalex.org/W4380881104","https://openalex.org/W4383221399","https://openalex.org/W6628261430","https://openalex.org/W6633448724","https://openalex.org/W6745330903","https://openalex.org/W6748261154","https://openalex.org/W6753443810","https://openalex.org/W6762377113","https://openalex.org/W6767316642","https://openalex.org/W6902533906"],"related_works":["https://openalex.org/W4323824501","https://openalex.org/W182679101","https://openalex.org/W3006344745","https://openalex.org/W4212981280","https://openalex.org/W2103519941","https://openalex.org/W3180573957","https://openalex.org/W2162805750","https://openalex.org/W2043669269","https://openalex.org/W4388856880","https://openalex.org/W2081998479"],"abstract_inverted_index":{"Recent":[0],"research":[1],"has":[2],"unveiled":[3],"numerous":[4],"cache-timing":[5],"side-channel":[6,72],"attacks":[7,73,123,190],"exploiting":[8,144],"the":[9,63,92,169,172,176,183],"side":[10,154],"effects":[11],"of":[12,50,168,178],"fine-grained":[13,36,67],"cache":[14,40,53,64,71,85],"features,":[15],"such":[16,51],"as":[17],"coherence":[18,145],"protocol":[19,146],"and":[20,27,38,95,147,149],"prefetch,":[21,148],"among":[22],"others.":[23],"Traditional":[24],"modeling":[25,82],"methods":[26],"verification":[28,49,60],"techniques":[29],"are":[30,182],"insufficient":[31],"for":[32,47,84,103,166],"verifying":[33],"caches":[34],"with":[35,66],"features":[37],"detecting":[39],"timing":[41],"vulnerabilities.":[42],"There":[43],"is":[44],"a":[45,59,81,100,157,163],"necessity":[46],"comprehensive":[48],"complex":[52],"designs.":[54],"This":[55],"paper":[56],"presents":[57],"SCAFinder,":[58],"framework":[61],"targeting":[62],"designs":[65,86],"features;":[68],"it":[69,79],"identifies":[70],"through":[74],"model":[75,110],"checking":[76,111],"techniques.":[77],"Specifically,":[78],"proposes":[80],"methodology":[83],"that":[87],"enables":[88],"us":[89],"to":[90,121,125,138,185],"abstract":[91],"cache\u2019s":[93],"behavior":[94],"latency":[96],"characteristics.":[97],"We":[98,128],"implement":[99,186],"search":[101],"algorithm":[102],"finding":[104],"all":[105],"counterexamples":[106],"based":[107],"on":[108,131,171,191],"open-source":[109],"software.":[112],"Subsequently,":[113],"we":[114,160,181],"add":[115],"an":[116],"attack":[117,142],"scenario":[118],"analysis":[119],"module":[120],"discover":[122],"applicable":[124],"specific":[126],"scenarios.":[127],"evaluate":[129],"SCAFinder":[130],"Intel":[132],"Skylake-X":[133],"microarchitecture,":[134],"demonstrating":[135],"its":[136],"capability":[137],"generate":[139],"7":[140],"new":[141,151],"sequences":[143,170],"12":[150],"replacement":[152,188],"policy-based":[153,189],"channels.":[155],"As":[156],"case":[158],"study,":[159],"successfully":[161],"built":[162],"covert":[164],"channel":[165],"one":[167],"real-world":[173],"processor.":[174],"To":[175],"best":[177],"our":[179],"knowledge,":[180],"first":[184],"cross-core":[187],"non-inclusive":[192],"caches.":[193]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}