{"id":"https://openalex.org/W4290996268","doi":"https://doi.org/10.1109/icc45855.2022.9839097","title":"Analysis of DRAM Vulnerability Using Computation Tree Logic","display_name":"Analysis of DRAM Vulnerability Using Computation Tree Logic","publication_year":2022,"publication_date":"2022-05-16","ids":{"openalex":"https://openalex.org/W4290996268","doi":"https://doi.org/10.1109/icc45855.2022.9839097"},"language":"en","primary_location":{"id":"doi:10.1109/icc45855.2022.9839097","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icc45855.2022.9839097","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ICC 2022 - IEEE International Conference on Communications","raw_type":"proceedings-article"},"type":"conference-paper","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/A5100385839","display_name":"Yuxin Liu","orcid":"https://orcid.org/0009-0000-4763-4287"},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuxin Liu","raw_affiliation_strings":["University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China","Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]},{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102461539","display_name":"Ziyuan Zhu","orcid":"https://orcid.org/0009-0001-6696-3374"},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ziyuan Zhu","raw_affiliation_strings":["University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China","Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]},{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045027897","display_name":"Yusha Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yusha Zhang","raw_affiliation_strings":["University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China","Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]},{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109744856","display_name":"Zhongkai Tong","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhongkai Tong","raw_affiliation_strings":["University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China","Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]},{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101041741","display_name":"Wenjing Cai","orcid":"https://orcid.org/0000-0002-9175-8604"},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenjing Cai","raw_affiliation_strings":["University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China","Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]},{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101525319","display_name":"Dan Meng","orcid":"https://orcid.org/0000-0003-1980-9283"},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dan Meng","raw_affiliation_strings":["University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China","Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences,Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security,Beijing,China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]},{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08581477,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"1","issue":null,"first_page":"986","last_page":"991"},"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9819999933242798,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/dram","display_name":"Dram","score":0.8481069803237915},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8265959024429321},{"id":"https://openalex.org/keywords/covert-channel","display_name":"Covert channel","score":0.5852749943733215},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.5332258343696594},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.5054605007171631},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4752863645553589},{"id":"https://openalex.org/keywords/information-leakage","display_name":"Information leakage","score":0.46259966492652893},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.43483367562294006},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4179958701133728},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.413730651140213},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.32438671588897705},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.2739745080471039},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.26616349816322327},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1903427541255951},{"id":"https://openalex.org/keywords/cloud-computing-security","display_name":"Cloud computing security","score":0.1638483703136444},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.1487915813922882},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12807270884513855}],"concepts":[{"id":"https://openalex.org/C7366592","wikidata":"https://www.wikidata.org/wiki/Q1255620","display_name":"Dram","level":2,"score":0.8481069803237915},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8265959024429321},{"id":"https://openalex.org/C29024540","wikidata":"https://www.wikidata.org/wiki/Q1476964","display_name":"Covert channel","level":5,"score":0.5852749943733215},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.5332258343696594},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.5054605007171631},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4752863645553589},{"id":"https://openalex.org/C2779201187","wikidata":"https://www.wikidata.org/wiki/Q2775060","display_name":"Information leakage","level":2,"score":0.46259966492652893},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.43483367562294006},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4179958701133728},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.413730651140213},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.32438671588897705},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2739745080471039},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.26616349816322327},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1903427541255951},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.1638483703136444},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.1487915813922882},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12807270884513855},{"id":"https://openalex.org/C103377522","wikidata":"https://www.wikidata.org/wiki/Q3493999","display_name":"Security information and event management","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icc45855.2022.9839097","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icc45855.2022.9839097","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ICC 2022 - IEEE International Conference on Communications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W98341770","https://openalex.org/W1427174644","https://openalex.org/W1494212869","https://openalex.org/W1555558540","https://openalex.org/W1934458198","https://openalex.org/W1992291252","https://openalex.org/W2119028650","https://openalex.org/W2337480911","https://openalex.org/W2398262958","https://openalex.org/W2594560662","https://openalex.org/W2804883849","https://openalex.org/W2965115498","https://openalex.org/W2986444891","https://openalex.org/W2991055900","https://openalex.org/W3047004631","https://openalex.org/W3092001024","https://openalex.org/W3168668136","https://openalex.org/W4231640108","https://openalex.org/W4297740902","https://openalex.org/W6628261430","https://openalex.org/W6630053826","https://openalex.org/W6633448724","https://openalex.org/W6712590282","https://openalex.org/W6720892955","https://openalex.org/W6764402087","https://openalex.org/W6793045953"],"related_works":["https://openalex.org/W2092798601","https://openalex.org/W1587042134","https://openalex.org/W2054093036","https://openalex.org/W1670050423","https://openalex.org/W2774600468","https://openalex.org/W3212518706","https://openalex.org/W2120620789","https://openalex.org/W2147506535","https://openalex.org/W1487141492","https://openalex.org/W2793536107"],"abstract_inverted_index":{"Shared":[0,40],"resources":[1],"facilitate":[2],"both":[3],"side":[4,82],"and":[5,8,83,104,147],"covert":[6,84],"channels":[7],"greatly":[9],"endanger":[10],"information":[11,36],"security":[12,48,157],"even":[13],"in":[14,102,123,151],"cloud":[15,18],"environments.":[16],"In":[17,50,59,126],"computing":[19],"environments,":[20],"multiple":[21],"tenants":[22,43,52],"often":[23],"reside":[24],"on":[25],"the":[26,96,152],"same":[27],"multi-processor":[28],"system.":[29],"Therefore,":[30],"it":[31],"is":[32,44,92,116],"important":[33],"to":[34,94,142,155],"prevent":[35],"leakage":[37],"between":[38,42],"tenants.":[39],"memory":[41,73],"usually":[45],"disabled":[46],"for":[47],"reasons.":[49],"addition,":[51],"typically":[53],"do":[54,64],"not":[55,65],"share":[56],"physical":[57],"CPUs.":[58],"this":[60,86,124],"case,":[61],"cache":[62],"attacks":[63],"work.":[66],"As":[67],"a":[68,79],"common":[69],"shared":[70],"resource,":[71],"DRAM":[72,103,134,140],"can":[74],"also":[75],"be":[76],"exploited":[77],"as":[78],"source":[80],"of":[81,98,112,133],"channels.In":[85],"paper,":[87],"Computation":[88],"Tree":[89],"Logic":[90],"(CTL)":[91],"used":[93],"model":[95,121],"behaviors":[97],"row":[99],"buffer":[100],"logic":[101],"derive":[105],"all":[106],"possible":[107],"timing-based":[108,135],"vulnerabilities.":[109,136],"The":[110],"problem":[111],"state":[113],"space":[114],"explosion":[115],"alleviated":[117],"by":[118],"using":[119],"bounded":[120],"checking":[122],"method.":[125],"total,":[127],"our":[128],"method":[129],"derives":[130],"24":[131],"kinds":[132],"Furthermore,":[137],"we":[138],"analyze":[139],"vulnerabilities":[141],"help":[143],"engineers":[144],"understand":[145],"them":[146],"take":[148],"corresponding":[149],"measures":[150],"design":[153],"according":[154],"derived":[156],"specifications.":[158]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}