{"id":"https://openalex.org/W2737996187","doi":"https://doi.org/10.1145/3087801.3087864","title":"Brief Announcement","display_name":"Brief Announcement","publication_year":2017,"publication_date":"2017-07-20","ids":{"openalex":"https://openalex.org/W2737996187","doi":"https://doi.org/10.1145/3087801.3087864","mag":"2737996187"},"language":"en","primary_location":{"id":"doi:10.1145/3087801.3087864","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3087801.3087864","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Symposium on Principles of Distributed Computing","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/A5060182415","display_name":"Shlomi Dolev","orcid":"https://orcid.org/0000-0001-5418-6670"},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Shlomi Dolev","raw_affiliation_strings":["Ben-Gurion University of the Negev, Beersheva, Israel"],"affiliations":[{"raw_affiliation_string":"Ben-Gurion University of the Negev, Beersheva, Israel","institution_ids":["https://openalex.org/I124227911"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061680900","display_name":"Karim Eldefrawy","orcid":"https://orcid.org/0000-0002-4008-0047"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Karim Eldefrawy","raw_affiliation_strings":["SRI International, California, CA, USA"],"affiliations":[{"raw_affiliation_string":"SRI International, California, CA, USA","institution_ids":["https://openalex.org/I1298353152"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005281401","display_name":"Juan A. Garay","orcid":"https://orcid.org/0000-0003-0366-7110"},"institutions":[{"id":"https://openalex.org/I4210134091","display_name":"Yahoo (United States)","ror":"https://ror.org/040dkzz12","country_code":"US","type":"company","lineage":["https://openalex.org/I4210134091"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Juan Garay","raw_affiliation_strings":["Yahoo Research, California, CA, USA"],"affiliations":[{"raw_affiliation_string":"Yahoo Research, California, CA, USA","institution_ids":["https://openalex.org/I4210134091"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028210393","display_name":"Muni Venkateswarlu Kumaramangalam","orcid":"https://orcid.org/0000-0001-6752-6582"},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Muni Venkateswarlu Kumaramangalam","raw_affiliation_strings":["Ben-Gurion University of the Negev, Beersheva, Israel"],"affiliations":[{"raw_affiliation_string":"Ben-Gurion University of the Negev, Beersheva, Israel","institution_ids":["https://openalex.org/I124227911"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020375635","display_name":"Rafail Ostrovsky","orcid":"https://orcid.org/0000-0002-1501-1330"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rafail Ostrovsky","raw_affiliation_strings":["University of California, Los Angeles, Los Angeles, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030243906","display_name":"Moti Yung","orcid":"https://orcid.org/0000-0003-0848-0873"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Moti Yung","raw_affiliation_strings":["Snap &amp; Columbia University, New York, NY, USA"],"affiliations":[{"raw_affiliation_string":"Snap &amp; Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5060182415"],"corresponding_institution_ids":["https://openalex.org/I124227911"],"apc_list":null,"apc_paid":null,"fwci":0.7801,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.79152838,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"415","last_page":"417"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","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/T10237","display_name":"Cryptography and Data Security","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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"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/T11424","display_name":"Security and Verification in Computing","score":0.9969000220298767,"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.8154314756393433},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8061179518699646},{"id":"https://openalex.org/keywords/adversary","display_name":"Adversary","score":0.6355136036872864},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.6140000820159912},{"id":"https://openalex.org/keywords/secrecy","display_name":"Secrecy","score":0.6021965742111206},{"id":"https://openalex.org/keywords/confidentiality","display_name":"Confidentiality","score":0.5775616765022278},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5772814750671387},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5100193619728088},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.506735622882843},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.49970412254333496},{"id":"https://openalex.org/keywords/compromise","display_name":"Compromise","score":0.42476382851600647},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.41453081369400024},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.41102105379104614},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3711637854576111},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.16848090291023254},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.08587032556533813}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8154314756393433},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8061179518699646},{"id":"https://openalex.org/C41065033","wikidata":"https://www.wikidata.org/wiki/Q2825412","display_name":"Adversary","level":2,"score":0.6355136036872864},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6140000820159912},{"id":"https://openalex.org/C2776452267","wikidata":"https://www.wikidata.org/wiki/Q1503443","display_name":"Secrecy","level":2,"score":0.6021965742111206},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.5775616765022278},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5772814750671387},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5100193619728088},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.506735622882843},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.49970412254333496},{"id":"https://openalex.org/C46355384","wikidata":"https://www.wikidata.org/wiki/Q726686","display_name":"Compromise","level":2,"score":0.42476382851600647},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.41453081369400024},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.41102105379104614},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3711637854576111},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.16848090291023254},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.08587032556533813},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3087801.3087864","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3087801.3087864","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Symposium on Principles of Distributed Computing","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.8199999928474426}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1530912015","https://openalex.org/W1594652978","https://openalex.org/W1970745521","https://openalex.org/W1983086789","https://openalex.org/W1999721188","https://openalex.org/W2027471022","https://openalex.org/W2039069941","https://openalex.org/W2077246908","https://openalex.org/W2141420453","https://openalex.org/W2168970529","https://openalex.org/W2340995113","https://openalex.org/W2482085991","https://openalex.org/W2512970881","https://openalex.org/W3009972770"],"related_works":["https://openalex.org/W4387497383","https://openalex.org/W3183948672","https://openalex.org/W3173606202","https://openalex.org/W3110381201","https://openalex.org/W2948807893","https://openalex.org/W2778153218","https://openalex.org/W2758277628","https://openalex.org/W1531601525","https://openalex.org/W2150391494","https://openalex.org/W4323970276"],"abstract_inverted_index":{"Self-stabilization":[0],"refers":[1],"to":[2,7,25,43,77,128,191,228,295,304,339],"the":[3,23,52,89,124,134,137,140,146,169,176,183,248,264,274,281,286,310,322,330,341,360,363,366],"ability":[4],"of":[5,12,54,93,115,121,133,148,152,175,182,257,263,288,312,315,321,329,343,359,362],"systems":[6,74],"recover":[8,44,231],"after":[9],"temporal":[10],"violations":[11,20],"conditions":[13],"required":[14,367],"for":[15,101,178],"their":[16],"correct":[17],"operation.":[18],"Such":[19],"may":[21,171,186],"lead":[22],"system":[24,177,221,276,353],"an":[26,149],"arbitrary":[27],"state":[28,203,224],"from":[29],"which":[30,80,243],"it":[31],"should":[32],"automatically":[33,267],"recover.":[34],"Today,":[35],"beyond":[36],"recovering":[37,66],"functionality,":[38],"there":[39,57,156],"is":[40,126,142,216,277,302],"a":[41,131,164,179,220,313,326],"need":[42],"security":[45,90,192,308,356],"and":[46,69,91,95,104,117,119,194,201,206,212,222,259,261,307,324,337,352,357],"confidentiality":[47,92,358],"guarantees":[48],"as":[49,285],"well.":[50],"To":[51],"best":[53],"our":[55,350],"knowledge,":[56],"are":[58,75,157,161,266,370],"currently":[59,217],"no":[60],"self-stabilizing":[61,73,210,251,345],"protocols":[62,100,159],"that":[63,160,255],"also":[64],"ensure":[65,113],"confidentiality,":[67],"authenticity,":[68],"integrity":[70],"properties.":[71],"Specifically,":[72],"designed":[76,227,303],"regain":[78,305],"functionality":[79],"is,":[81],"roughly":[82],"speaking,":[83],"desired":[84],"input":[85],"output":[86],"relation,":[87],"ignoring":[88],"computation":[94,122,141,252,265,283,361],"its":[96,223],"state.":[97],"Distributed":[98],"(cryptographic)":[99],"generic":[102],"secure":[103,108,143,162,344],"privacy-preserving":[105],"computation,":[106],"e.g.,":[107,139,189,318],"Multi-Party":[109],"Computation":[110,242],"(MPC),":[111],"usually":[112],"secrecy":[114,256],"inputs":[116,258],"outputs,":[118,260],"correctness":[120,262],"when":[123],"adversary":[125,170],"limited":[127],"compromise":[129,172],"only":[130,144],"fraction":[132],"components":[135,174,185],"in":[136,145,167,247,309],"system,":[138],"presence":[147,311],"honest":[150],"majority":[151],"involved":[153],"parties.":[154],"While":[155],"MPC":[158],"against":[163],"dishonest":[165],"majority,":[166],"reality,":[168],"all":[173],"while;":[180],"some":[181,272],"corrupted":[184],"then":[187],"recover,":[188],"due":[190],"patches":[193],"software":[195,213],"updates,":[196],"or":[197],"periodical":[198],"code":[199],"refresh":[200],"local":[202],"consistency":[204,306],"check":[205],"enforcement":[207],"based":[208],"on":[209],"hardware":[211],"techniques.":[214],"It":[215],"unclear":[218],"if":[219,270],"can":[225],"be":[226],"always":[229],"fully":[230],"following":[232,325],"such":[233],"individual":[234],"asynchronous":[235],"recoveries.":[236],"This":[237],"paper":[238],"introduces":[239],"Secure":[240,250],"Self-stabilizing":[241],"answers":[244],"this":[245,335],"question":[246],"affirmative.":[249],"design":[253],"ensures":[254],"regained,":[268],"even":[269],"at":[271],"point":[273],"entire":[275,331],"compromised.":[278],"We":[279,333,347],"consider":[280],"distributed":[282],"task":[284,336],"implementation":[287],"virtual":[289],"global":[290],"finite":[291],"satiate":[292],"machine":[293],"(FSM)":[294],"present":[296],"commonly":[297],"realized":[298],"computation.":[299,346],"The":[300],"FSM":[301,364],"minority":[314],"Byzantine":[316],"participants,":[317],"one":[319],"third":[320],"parties,":[323],"temporary":[327],"corruption":[328,368],"system.":[332],"use":[334],"settings":[338],"demonstrate":[340],"definition":[342],"show":[348],"how":[349],"algorithms":[351],"autonomously":[354],"restore":[355],"once":[365],"thresholds":[369],"again":[371],"respected.":[372]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2017-07-31T00:00:00"}
