{"id":"https://openalex.org/W4411486599","doi":"https://doi.org/10.1145/3695053.3731048","title":"Cassandra: Efficient Enforcement of Sequential Execution for Cryptographic Programs","display_name":"Cassandra: Efficient Enforcement of Sequential Execution for Cryptographic Programs","publication_year":2025,"publication_date":"2025-06-20","ids":{"openalex":"https://openalex.org/W4411486599","doi":"https://doi.org/10.1145/3695053.3731048"},"language":"en","primary_location":{"id":"doi:10.1145/3695053.3731048","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3695053.3731048","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3695053.3731048","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 52nd Annual International Symposium on Computer Architecture","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/3695053.3731048","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086840679","display_name":"Ali Hajiabadi","orcid":"https://orcid.org/0000-0002-3219-7544"},"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":"Ali Hajiabadi","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-3219-7544","affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069683581","display_name":"Trevor E. Carlson","orcid":"https://orcid.org/0000-0001-8742-134X"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Trevor E. Carlson","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0001-8742-134X","affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.5175,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.92755679,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"78","last_page":"91"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9970999956130981,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7432568073272705},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.6431765556335449},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.5877212882041931},{"id":"https://openalex.org/keywords/cryptographic-primitive","display_name":"Cryptographic primitive","score":0.5104350447654724},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.47185230255126953},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.45393407344818115},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4367367625236511},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.07716310024261475}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7432568073272705},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.6431765556335449},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.5877212882041931},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.5104350447654724},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.47185230255126953},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.45393407344818115},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4367367625236511},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.07716310024261475},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3695053.3731048","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3695053.3731048","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3695053.3731048","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 52nd Annual International Symposium on Computer Architecture","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3695053.3731048","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3695053.3731048","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3695053.3731048","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 52nd Annual International Symposium on Computer Architecture","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411486599.pdf","grobid_xml":"https://content.openalex.org/works/W4411486599.grobid-xml"},"referenced_works_count":61,"referenced_works":["https://openalex.org/W186684821","https://openalex.org/W2096128575","https://openalex.org/W2112814753","https://openalex.org/W2153456949","https://openalex.org/W2158454296","https://openalex.org/W2262479410","https://openalex.org/W2350778671","https://openalex.org/W2765144052","https://openalex.org/W2766545755","https://openalex.org/W2767162229","https://openalex.org/W2791034507","https://openalex.org/W2884530475","https://openalex.org/W2899157124","https://openalex.org/W2903910116","https://openalex.org/W2931030580","https://openalex.org/W2946772038","https://openalex.org/W2952322674","https://openalex.org/W2954241526","https://openalex.org/W2962722502","https://openalex.org/W2963311060","https://openalex.org/W2964281551","https://openalex.org/W2972034624","https://openalex.org/W2976763854","https://openalex.org/W2979633637","https://openalex.org/W2979849111","https://openalex.org/W2982848142","https://openalex.org/W3008383151","https://openalex.org/W3015465581","https://openalex.org/W3034103899","https://openalex.org/W3090475639","https://openalex.org/W3104572536","https://openalex.org/W3104781657","https://openalex.org/W3122987294","https://openalex.org/W3136898164","https://openalex.org/W3137153123","https://openalex.org/W3148444620","https://openalex.org/W3153387123","https://openalex.org/W3155329745","https://openalex.org/W3156526578","https://openalex.org/W3207150733","https://openalex.org/W3214883374","https://openalex.org/W4200476785","https://openalex.org/W4230904721","https://openalex.org/W4239813889","https://openalex.org/W4241251112","https://openalex.org/W4242976792","https://openalex.org/W4251852027","https://openalex.org/W4296959850","https://openalex.org/W4308083848","https://openalex.org/W4312076498","https://openalex.org/W4385080320","https://openalex.org/W4385187318","https://openalex.org/W4387298261","https://openalex.org/W4388858775","https://openalex.org/W4389166769","https://openalex.org/W4393407242","https://openalex.org/W4395106389","https://openalex.org/W4402264353","https://openalex.org/W4404134127","https://openalex.org/W4404134207","https://openalex.org/W4405181082"],"related_works":["https://openalex.org/W2904818008","https://openalex.org/W2904314268","https://openalex.org/W57958781","https://openalex.org/W1554274402","https://openalex.org/W1982325601","https://openalex.org/W4240432851","https://openalex.org/W2289378658","https://openalex.org/W1531360494","https://openalex.org/W1988007309","https://openalex.org/W154233216"],"abstract_inverted_index":{"Constant-time":[0],"programming":[1],"is":[2,48,109],"a":[3,57,70,106,128,148,152,177],"widely":[4],"deployed":[5],"approach":[6],"to":[7,61,135,151,160,169,189,196],"harden":[8],"cryptographic":[9,67,117],"programs":[10,118],"against":[11],"side":[12],"channel":[13],"attacks.However,":[14],"modern":[15],"processors":[16],"often":[17],"violate":[18],"the":[19,32,75,81,90,101,156,170,174],"underlying":[20],"assumptions":[21],"of":[22,31,79,89,105,173],"standard":[23],"constant-time":[24,66,107],"policies":[25],"by":[26],"transiently":[27],"executing":[28],"unintended":[29],"paths":[30],"program.Despite":[33,175],"many":[34],"solutions":[35],"proposed,":[36],"addressing":[37],"control":[38,87,103,123,144],"flow":[39,88,104,124,145],"misspeculations":[40],"in":[41,69,127],"an":[42,49,137,184,190],"efficient":[43,72],"way":[44],"without":[45],"losing":[46],"performance":[47],"open":[50],"problem.In":[51],"this":[52],"work,":[53],"we":[54],"propose":[55],"Cassandra,":[56],"novel":[58],"hardware/software":[59],"mechanism":[60],"enforce":[62],"sequential":[63,86,102,171],"execution":[64],"for":[65],"code":[68],"highly":[71,129],"manner.Cassandra":[73],"explores":[74],"radical":[76],"design":[77,97],"point":[78],"disabling":[80],"branch":[82,139],"predictor":[83],"and":[84,115,121,164],"recording-and-replaying":[85],"program.Two":[91],"key":[92],"insights":[93,132],"that":[94,99,141],"enable":[95],"our":[96],"are":[98,119],"(1)":[100],"program":[108],"mostly":[110],"static":[111],"over":[112],"different":[113],"runs,":[114],"(2)":[116],"loop-intensive":[120],"their":[122],"patterns":[125],"repeat":[126],"compressible":[130],"way.These":[131],"allow":[133],"us":[134],"perform":[136],"upfront":[138],"analysis":[140],"significantly":[142],"compresses":[143],"traces.We":[146],"add":[147],"small":[149],"component":[150],"typical":[153],"processor":[154],"design,":[155],"Branch":[157],"Trace":[158],"Unit,":[159],"store":[161],"compressed":[162],"traces":[163],"determine":[165],"fetch":[166,199],"redirections":[167],"according":[168],"model":[172],"providing":[176],"strong":[178],"security":[179],"guarantee,":[180],"Cassandra":[181],"counterintuitively":[182],"provides":[183],"average":[185],"1.85%":[186],"speedup":[187],"compared":[188],"unsafe":[191],"baseline":[192],"processor,":[193],"mainly":[194],"due":[195],"enforcing":[197],"near-perfect":[198],"redirections.":[200]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-06-21T00:00:00"}