{"id":"https://openalex.org/W4360831981","doi":"https://doi.org/10.1109/hpca56546.2023.10071041","title":"Are Randomized Caches Truly Random? Formal Analysis of Randomized-Partitioned Caches","display_name":"Are Randomized Caches Truly Random? Formal Analysis of Randomized-Partitioned Caches","publication_year":2023,"publication_date":"2023-02-01","ids":{"openalex":"https://openalex.org/W4360831981","doi":"https://doi.org/10.1109/hpca56546.2023.10071041"},"language":"en","primary_location":{"id":"doi:10.1109/hpca56546.2023.10071041","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/hpca56546.2023.10071041","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Symposium on High-Performance Computer Architecture (HPCA)","raw_type":"proceedings-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/A5070120135","display_name":"Anirban Chakraborty","orcid":"https://orcid.org/0000-0002-0155-6938"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Anirban Chakraborty","raw_affiliation_strings":["Indian Institute of Technology,Kharagpur","Indian Institute of Technology, Kharagpur"],"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology,Kharagpur","institution_ids":["https://openalex.org/I145894827"]},{"raw_affiliation_string":"Indian Institute of Technology, Kharagpur","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101816833","display_name":"Sarani Bhattacharya","orcid":"https://orcid.org/0000-0002-4190-2671"},"institutions":[{"id":"https://openalex.org/I4210114974","display_name":"IMEC","ror":"https://ror.org/02kcbn207","country_code":"BE","type":"nonprofit","lineage":["https://openalex.org/I4210114974"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Sarani Bhattacharya","raw_affiliation_strings":["Imec,Belgium","Imec, Belgium"],"affiliations":[{"raw_affiliation_string":"Imec,Belgium","institution_ids":["https://openalex.org/I4210114974"]},{"raw_affiliation_string":"Imec, Belgium","institution_ids":["https://openalex.org/I4210114974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101432394","display_name":"Sayandeep Saha","orcid":"https://orcid.org/0000-0002-5535-1102"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Sayandeep Saha","raw_affiliation_strings":["Nanyang Technological University,Singapore","Nanyang Technological University, Singapore"],"affiliations":[{"raw_affiliation_string":"Nanyang Technological University,Singapore","institution_ids":["https://openalex.org/I172675005"]},{"raw_affiliation_string":"Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078971402","display_name":"Debdeep Mukhopadhyay","orcid":"https://orcid.org/0000-0002-6499-8346"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Debdeep Mukhopadhyay","raw_affiliation_strings":["Indian Institute of Technology,Kharagpur","Indian Institute of Technology, Kharagpur"],"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology,Kharagpur","institution_ids":["https://openalex.org/I145894827"]},{"raw_affiliation_string":"Indian Institute of Technology, Kharagpur","institution_ids":["https://openalex.org/I145894827"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5070120135"],"corresponding_institution_ids":["https://openalex.org/I145894827"],"apc_list":null,"apc_paid":null,"fwci":0.6974,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.74424271,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"233","last_page":"246"},"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.9998000264167786,"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.9998000264167786,"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.9922999739646912,"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9800999760627747,"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.8571894764900208},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.7690719366073608},{"id":"https://openalex.org/keywords/cache-algorithms","display_name":"Cache algorithms","score":0.5181971192359924},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.44839441776275635},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.425078421831131},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.421026349067688},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3834773898124695},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3252120018005371},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.28213441371917725}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8571894764900208},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.7690719366073608},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.5181971192359924},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.44839441776275635},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.425078421831131},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.421026349067688},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3834773898124695},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3252120018005371},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.28213441371917725}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hpca56546.2023.10071041","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/hpca56546.2023.10071041","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Symposium on High-Performance Computer Architecture (HPCA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6600000262260437}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1488058190","https://openalex.org/W1592889082","https://openalex.org/W1613874182","https://openalex.org/W1894646615","https://openalex.org/W1934458198","https://openalex.org/W2061354941","https://openalex.org/W2097778649","https://openalex.org/W2106728965","https://openalex.org/W2108117840","https://openalex.org/W2119028650","https://openalex.org/W2126132644","https://openalex.org/W2137453738","https://openalex.org/W2166293920","https://openalex.org/W2201006485","https://openalex.org/W2337480911","https://openalex.org/W2484027757","https://openalex.org/W2540422252","https://openalex.org/W2612454599","https://openalex.org/W2912601938","https://openalex.org/W2962832225","https://openalex.org/W3000130452","https://openalex.org/W3103430139","https://openalex.org/W3106626168","https://openalex.org/W3155615090","https://openalex.org/W4233429846","https://openalex.org/W4383221399","https://openalex.org/W6628261430","https://openalex.org/W6633448724","https://openalex.org/W6635541736","https://openalex.org/W6720296912","https://openalex.org/W6764601103","https://openalex.org/W6766700459","https://openalex.org/W6783181973"],"related_works":["https://openalex.org/W2147122795","https://openalex.org/W2061075966","https://openalex.org/W3147501184","https://openalex.org/W2167303720","https://openalex.org/W2109715593","https://openalex.org/W3161817247","https://openalex.org/W1918294866","https://openalex.org/W2012518269","https://openalex.org/W2068309140","https://openalex.org/W4234542536"],"abstract_inverted_index":{"Cache":[0],"based":[1,70,131],"side-channel":[2],"attacks":[3,54,95],"exploit":[4],"the":[5,12,35,38,47,57,72,82,87,112,133,155,159,175,217,223,227,252,256],"fact":[6],"that":[7,49,98,107,232],"an":[8,77,141],"adversary":[9],"can":[10,104],"setup":[11],"shared":[13],"cache":[14,19,60,83,125,163],"memory":[15],"(the":[16],"last":[17],"level":[18],"in":[20,46,66,111,143,165,226,241],"modern":[21],"systems)":[22],"into":[23,127],"a":[24,149,181,236],"known":[25],"state":[26,31],"and":[27,100,137,161,172,199,214],"detect":[28],"any":[29],"microarchitectural":[30],"changes":[32],"made":[33],"by":[34,55,86],"victim":[36,88],"on":[37,71,132,192,211],"cache.":[39],"Different":[40],"mitigation":[41],"techniques":[42],"have":[43,96],"been":[44],"proposed":[45,194,225],"literature":[48],"aims":[50],"to":[51,59,79,152,179,206,270],"mitigate":[52],"these":[53,67,212],"randomizing":[56],"address":[58,142],"location":[61],"mappings.":[62],"The":[63],"security":[64,156],"guarantees":[65],"schemes":[68,196,213,243],"are":[69,267],"degree":[73],"of":[74,124,135,139,158,167,174,219],"difficulty":[75],"for":[76],"attacker":[78],"reliably":[80],"determine":[81],"lines":[84],"accessed":[85],"within":[89],"practical":[90],"time":[91],"settings.":[92],"However,":[93],"prior":[94],"shown":[97],"newer":[99],"more":[101],"improved":[102],"algorithms":[103,205,221],"be":[105],"envisaged":[106],"discover":[108],"conflicting":[109],"sets":[110],"secured":[113],"randomized":[114,160],"caches.":[115,145],"In":[116],"this":[117],"work,":[118],"we":[119,202,230],"first":[120],"categorize":[121],"different":[122],"types":[123],"designs":[126,164],"four":[128],"broad":[129],"classes":[130],"extent":[134],"non-determinism":[136],"randomness":[138],"allocating":[140],"those":[144],"We":[146,185],"then":[147],"develop":[148],"mathematical":[150],"framework":[151],"formally":[153],"analyse":[154],"implications":[157],"partitioned":[162],"terms":[166],"collision":[168],"probability,":[169],"self-collision":[170],"probability":[171],"size":[173],"eviction":[176,191,209],"set":[177,189,210],"required":[178,253],"perform":[180],"successful":[182],"eviction-based":[183,271],"attack.":[184],"further":[186],"empirically":[187],"demonstrate":[188],"associative":[190],"recently":[193],"randomization":[195,234],"called":[197],"Mirage":[198,247],"Scattercache.":[200],"Next,":[201],"propose":[203],"two":[204],"generate":[207],"efficient":[208],"analytically":[215],"evaluate":[216],"efficacy":[218],"our":[220],"against":[222,262],"one":[224],"literature.":[228],"Finally,":[229],"argue":[231],"mere":[233],"using":[235],"cryptographic":[237],"primitive":[238],"as":[239],"used":[240],"popular":[242],"like":[244],"Scattercache,":[245],"CEASER-S,":[246],"etc.":[248],"does":[249],"not":[250],"provide":[251,259],"randomness.":[254],"Although":[255],"randomized-partitioned":[257],"caches":[258],"some":[260],"resilience":[261],"eviction-set":[263],"generation":[264],"techniques,":[265],"they":[266],"still":[268],"vulnerable":[269],"attacks.":[272]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-25T13:04:00.132906","created_date":"2025-10-10T00:00:00"}