{"id":"https://openalex.org/W4411277737","doi":"https://doi.org/10.1145/3732772.3733550","title":"You can lie but not deny: SWMR registers with signature properties in systems with Byzantine processes","display_name":"You can lie but not deny: SWMR registers with signature properties in systems with Byzantine processes","publication_year":2025,"publication_date":"2025-06-13","ids":{"openalex":"https://openalex.org/W4411277737","doi":"https://doi.org/10.1145/3732772.3733550"},"language":"en","primary_location":{"id":"doi:10.1145/3732772.3733550","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3732772.3733550","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3732772.3733550","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":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3732772.3733550","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101964035","display_name":"Xing Hu","orcid":"https://orcid.org/0000-0001-5242-4460"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Xing Hu","raw_affiliation_strings":["Department of Computer Science, University of Toronto, Toronto, Ontario, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Toronto, Toronto, Ontario, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000539327","display_name":"Sam Toueg","orcid":null},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Sam Toueg","raw_affiliation_strings":["Department of Computer Science, University of Toronto, Totonto, Ontario, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Toronto, Totonto, Ontario, Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101964035"],"corresponding_institution_ids":["https://openalex.org/I185261750"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17152724,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"141","last_page":"150"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9997000098228455,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9229999780654907,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9136000275611877,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/byzantine-architecture","display_name":"Byzantine architecture","score":0.8654141426086426},{"id":"https://openalex.org/keywords/signature","display_name":"Signature (topology)","score":0.7067639231681824},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5443732738494873},{"id":"https://openalex.org/keywords/byzantine-fault-tolerance","display_name":"Byzantine fault tolerance","score":0.47242414951324463},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23522552847862244},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.15494054555892944},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.13146302103996277},{"id":"https://openalex.org/keywords/ancient-history","display_name":"Ancient history","score":0.1255098581314087}],"concepts":[{"id":"https://openalex.org/C104562893","wikidata":"https://www.wikidata.org/wiki/Q47591","display_name":"Byzantine architecture","level":2,"score":0.8654141426086426},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.7067639231681824},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5443732738494873},{"id":"https://openalex.org/C168021876","wikidata":"https://www.wikidata.org/wiki/Q1353446","display_name":"Byzantine fault tolerance","level":3,"score":0.47242414951324463},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23522552847862244},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.15494054555892944},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.13146302103996277},{"id":"https://openalex.org/C195244886","wikidata":"https://www.wikidata.org/wiki/Q41493","display_name":"Ancient history","level":1,"score":0.1255098581314087},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3732772.3733550","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3732772.3733550","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3732772.3733550","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":{"id":"doi:10.1145/3732772.3733550","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3732772.3733550","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3732772.3733550","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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411277737.pdf"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W1963645828","https://openalex.org/W1982100000","https://openalex.org/W2075331051","https://openalex.org/W2079968340","https://openalex.org/W2101939036","https://openalex.org/W2122326479","https://openalex.org/W2186715137","https://openalex.org/W2288596753","https://openalex.org/W3186685762"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W635625959","https://openalex.org/W1548189724","https://openalex.org/W4242769984","https://openalex.org/W2034320198","https://openalex.org/W1985305288","https://openalex.org/W4252331942","https://openalex.org/W4386477301"],"abstract_inverted_index":{"We":[0,62,87,183],"define":[1,28],"and":[2,57,159,211,229],"show":[3,222],"how":[4],"to":[5,38,59],"implement":[6,226],"SWMR":[7,29,72,94,98,117,200],"registers":[8,37,69,73,96,99,201,228,231],"that":[9,47,128,153,164,185,223],"provide":[10],"properties":[11],"of":[12,67,82,93,179,193],"unforgeable":[13],"digital":[14],"signatures\u2014without":[15],"actually":[16],"using":[17],"such":[18,46,68,233],"signatures\u2014in":[19],"systems":[20,75,101,207],"with":[21,76,102,208],"Byzantine":[22,194,209],"processes.":[23,106],"More":[24],"precisely,":[25],"we":[26],"first":[27],"verifiable":[30,227],"registers.":[31],"Intuitively,":[32],"processes":[33,195,210],"can":[34,51,84,132,162,197,202,225],"use":[35],"these":[36,48],"write":[39],"values":[40],"as":[41],"if":[42,175],"they":[43,196],"are":[44,188],"\"signed\",":[45],"\"signed":[49],"values\"":[50],"be":[52,85,133,203],"\"verified\"":[53],"by":[54,136,169],"any":[55,60],"process":[56],"\"relayed\"":[58],"process.":[61],"give":[63,89],"a":[64,90,112,116],"signature-free":[65,91],"implementation":[66,92],"from":[70,97],"plain":[71],"in":[74,100,142,149,157,190,205,218,232],"n":[77,103,212],">":[78,104,213],"3f":[79,105,214],"processes,":[80],"f":[81],"which":[83],"Byzantine.":[86,182],"also":[88,221],"sticky":[95,118,230],"Once":[107],"the":[108,121,129,147,176,191,216],"writer":[109,177],"p":[110,139,144,165,178],"writes":[111,140],"value":[113,130,148],"\u03c5":[114,131,141,156,167],"into":[115],"register":[119,122],"R,":[120,143,158],"never":[123],"changes":[124],"its":[125],"value.":[126],"Note":[127],"considered":[134],"\"signed\"":[135],"p:":[137],"once":[138],"cannot":[145],"change":[146],"R":[150,180],"or":[151],"deny":[152],"it":[154],"wrote":[155,166],"every":[160],"reader":[161],"verify":[163],"just":[168],"reading":[170],"R.":[171],"This":[172],"holds":[173],"even":[174],"is":[181],"prove":[184],"our":[186],"implementations":[187],"optimal":[189],"number":[192],"tolerate.":[198],"Since":[199],"implemented":[204],"message-passing":[206],"[11],":[215],"results":[217],"this":[219],"paper":[220],"one":[224],"systems.":[234]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}