{"id":"https://openalex.org/W2112504626","doi":"https://doi.org/10.1145/1416944.1416948","title":"Portably solving file races with hardness amplification","display_name":"Portably solving file races with hardness amplification","publication_year":2008,"publication_date":"2008-11-01","ids":{"openalex":"https://openalex.org/W2112504626","doi":"https://doi.org/10.1145/1416944.1416948","mag":"2112504626"},"language":"en","primary_location":{"id":"doi:10.1145/1416944.1416948","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1416944.1416948","pdf_url":null,"source":{"id":"https://openalex.org/S158124317","display_name":"ACM Transactions on Storage","issn_l":"1553-3077","issn":["1553-3077","1553-3093"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Storage","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/A5079290490","display_name":"Dan Tsafrir","orcid":"https://orcid.org/0000-0002-9242-3144"},"institutions":[{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dan Tsafrir","raw_affiliation_strings":["IBM T.J. Watson Research Center, Yorktown Heights, NY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM T.J. Watson Research Center, Yorktown Heights, NY","institution_ids":["https://openalex.org/I4210114115"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004268970","display_name":"Tomer Hertz","orcid":"https://orcid.org/0000-0002-0561-1578"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tomer Hertz","raw_affiliation_strings":["Microsoft Research, Redmond, WA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Research, Redmond, WA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062174672","display_name":"David Wagner","orcid":"https://orcid.org/0000-0001-7728-4273"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Wagner","raw_affiliation_strings":["University of California, Berkeley, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, CA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045204301","display_name":"Dilma Da Silva","orcid":"https://orcid.org/0000-0001-6538-2888"},"institutions":[{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dilma Da Silva","raw_affiliation_strings":["IBM T.J. Watson Research Center, Yorktown Heights, NY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM T.J. Watson Research Center, Yorktown Heights, NY","institution_ids":["https://openalex.org/I4210114115"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1755,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.84835307,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"4","issue":"3","first_page":"1","last_page":"30"},"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.9994000196456909,"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.9994000196456909,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9973000288009644,"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.9969000220298767,"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.8349748253822327},{"id":"https://openalex.org/keywords/adversary","display_name":"Adversary","score":0.7401079535484314},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6383237838745117},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6092438101768494},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5748700499534607},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5525059700012207},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5284644961357117},{"id":"https://openalex.org/keywords/face","display_name":"Face (sociological concept)","score":0.4607599079608917},{"id":"https://openalex.org/keywords/ideal","display_name":"Ideal (ethics)","score":0.44251346588134766},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27851733565330505},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2135860025882721},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.09802189469337463}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8349748253822327},{"id":"https://openalex.org/C41065033","wikidata":"https://www.wikidata.org/wiki/Q2825412","display_name":"Adversary","level":2,"score":0.7401079535484314},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6383237838745117},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6092438101768494},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5748700499534607},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5525059700012207},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5284644961357117},{"id":"https://openalex.org/C2779304628","wikidata":"https://www.wikidata.org/wiki/Q3503480","display_name":"Face (sociological concept)","level":2,"score":0.4607599079608917},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.44251346588134766},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27851733565330505},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2135860025882721},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.09802189469337463},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1416944.1416948","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1416944.1416948","pdf_url":null,"source":{"id":"https://openalex.org/S158124317","display_name":"ACM Transactions on Storage","issn_l":"1553-3077","issn":["1553-3077","1553-3093"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Storage","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6600000262260437,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320330412","display_name":"Scheme for Promotion of Academic and Research Collaboration","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W112288480","https://openalex.org/W190846380","https://openalex.org/W1491103366","https://openalex.org/W1495613484","https://openalex.org/W1600965014","https://openalex.org/W1601340088","https://openalex.org/W1760539334","https://openalex.org/W1967557374","https://openalex.org/W1983594961","https://openalex.org/W2032493761","https://openalex.org/W2043811931","https://openalex.org/W2056742491","https://openalex.org/W2061106457","https://openalex.org/W2066859698","https://openalex.org/W2097589646","https://openalex.org/W2098465784","https://openalex.org/W2107324709","https://openalex.org/W2114764231","https://openalex.org/W2117981596","https://openalex.org/W2119736157","https://openalex.org/W2129780932","https://openalex.org/W2134716394","https://openalex.org/W2137952932","https://openalex.org/W2141423292","https://openalex.org/W2149984854","https://openalex.org/W2151595596","https://openalex.org/W2155750598","https://openalex.org/W2158152382","https://openalex.org/W2160524070","https://openalex.org/W2169476734","https://openalex.org/W2296642300","https://openalex.org/W2913502225","https://openalex.org/W2914982603","https://openalex.org/W4232895233","https://openalex.org/W4251803824","https://openalex.org/W6685177392"],"related_works":["https://openalex.org/W4388150944","https://openalex.org/W4242235492","https://openalex.org/W4237162029","https://openalex.org/W2367268135","https://openalex.org/W1480190076","https://openalex.org/W2385701518","https://openalex.org/W2590472383","https://openalex.org/W4237464767","https://openalex.org/W1658340114","https://openalex.org/W3122105331"],"abstract_inverted_index":{"The":[0,206],"file-system":[1],"API":[2,69],"of":[3,66,149,232],"contemporary":[4],"systems":[5],"makes":[6],"programs":[7],"vulnerable":[8],"to":[9,19,131,185,202,213,228,238],"TOCTTOU":[10,61,135,233],"(time-of-check-to-time-of-use)":[11],"race":[12,188],"conditions.":[13],"Existing":[14],"solutions":[15],"either":[16],"help":[17],"users":[18],"detect":[20],"these":[21,214],"problems":[22],"(by":[23,35],"pinpointing":[24],"their":[25],"locations":[26],"in":[27,78],"the":[28,32,37,43,50,54,64,67,100,118,139,142,147,179,187,195,239],"code),":[29],"or":[30,39],"prevent":[31],"problem":[33,90],"altogether":[34],"modifying":[36],"kernel":[38],"its":[40],"API).":[41],"But":[42],"latter":[44],"alternative":[45],"is":[46,52,169,211],"not":[47],"prevalent,":[48],"and":[49,85,91,163,191,199,225],"former":[51],"just":[53],"first":[55],"step:":[56],"Programmers":[57],"must":[58],"still":[59],"address":[60],"flaws":[62],"within":[63],"limits":[65],"existing":[68],"with":[70,110,182],"which":[71],"several":[72],"important":[73],"tasks":[74],"cannot":[75],"be":[76,220],"accomplished":[77],"a":[79,93,128,155,223,229],"portable":[80,226],"straightforward":[81],"manner.":[82],"Recently,":[83],"Dean":[84],"Hu":[86],"[2004]":[87],"addressed":[88],"this":[89,150],"suggested":[92],"probabilistic":[94],"hardness":[95],"amplification":[96],"approach":[97,210],"that":[98,116,125,159,166,177,208],"alleviated":[99],"matter.":[101],"Alas,":[102],"shortly":[103],"after,":[104],"Borisov":[105],"et":[106],"al.":[107],"[2005]":[108],"responded":[109],"an":[111],"attack":[112],"termed":[113],"\u201cfilesystem":[114],"maze\u201d":[115],"defeated":[117],"new":[119,156],"approach.":[120],"We":[121],"begin":[122],"by":[123,172],"noting":[124],"mazes":[126],"constitute":[127],"generic":[129],"way":[130],"deterministically":[132],"win":[133,186],"many":[134],"races":[136],"(gone":[137],"are":[138],"days":[140],"when":[141],"probability":[143],"was":[144],"small).":[145],"In":[146],"face":[148],"threat,":[151],"we:":[152],"(1)":[153],"develop":[154],"user-level":[157],"defense":[158],"can":[160,219],"withstand":[161],"mazes;":[162],"(2)":[164],"show":[165],"our":[167,209],"method":[168],"undefeated":[170],"even":[171],"much":[173],"stronger":[174],"hypothetical":[175],"attacks":[176,216],"provide":[178],"adversary":[180],"program":[181],"ideal":[183],"conditions":[184],"(enjoying":[189],"complete":[190],"instantaneous":[192],"knowledge":[193],"about":[194],"defending":[196],"program's":[197],"actions":[198],"being":[200],"able":[201],"perfectly":[203],"synchronize":[204],"accordingly).":[205],"fact":[207],"immune":[212],"unrealistic":[215],"suggests":[217],"it":[218],"used":[221],"as":[222],"simple":[224],"solution":[227],"large":[230],"class":[231],"vulnerabilities,":[234],"without":[235],"requiring":[236],"modifications":[237],"underlying":[240],"operating":[241],"system.":[242]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}