{"id":"https://openalex.org/W4385080280","doi":"https://doi.org/10.1109/sp46215.2023.10179386","title":"Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model","display_name":"Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model","publication_year":2023,"publication_date":"2023-05-01","ids":{"openalex":"https://openalex.org/W4385080280","doi":"https://doi.org/10.1109/sp46215.2023.10179386"},"language":"en","primary_location":{"id":"doi:10.1109/sp46215.2023.10179386","doi":"https://doi.org/10.1109/sp46215.2023.10179386","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sp46215.2023.10179386","pdf_url":null,"source":{"id":"https://openalex.org/S4210233669","display_name":"IEEE Symposium on Security and Privacy (S&P)","issn_l":"1081-6011","issn":["1081-6011","2375-1207"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-2"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE Symposium on Security and Privacy (SP)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5064101230","display_name":"Yuanliang Chen","orcid":"https://orcid.org/0000-0003-2701-4296","observed_orcids":["https://orcid.org/0000-0003-2701-4296"]},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuanliang Chen","raw_affiliation_strings":["Tsinghua University, KLISS, BNRist,School of Software,Beijing,China","School of Software, Tsinghua University, KLISS, BNRist, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University, KLISS, BNRist,School of Software,Beijing,China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"School of Software, Tsinghua University, KLISS, BNRist, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002804998","display_name":"Fuchen Ma","orcid":"https://orcid.org/0000-0002-1360-9814","observed_orcids":["https://orcid.org/0000-0002-1360-9814"]},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fuchen Ma","raw_affiliation_strings":["Tsinghua University, KLISS, BNRist,School of Software,Beijing,China","School of Software, Tsinghua University, KLISS, BNRist, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University, KLISS, BNRist,School of Software,Beijing,China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"School of Software, Tsinghua University, KLISS, BNRist, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101697412","display_name":"Yuanhang Zhou","orcid":"https://orcid.org/0000-0002-0461-3934","observed_orcids":["https://orcid.org/0000-0002-0461-3934"]},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuanhang Zhou","raw_affiliation_strings":["Tsinghua University, KLISS, BNRist,School of Software,Beijing,China","School of Software, Tsinghua University, KLISS, BNRist, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University, KLISS, BNRist,School of Software,Beijing,China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"School of Software, Tsinghua University, KLISS, BNRist, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060117799","display_name":"Yu Jiang","orcid":"https://orcid.org/0000-0003-0955-503X","observed_orcids":["https://orcid.org/0000-0003-0955-503X"]},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Jiang","raw_affiliation_strings":["Tsinghua University, KLISS, BNRist,School of Software,Beijing,China","School of Software, Tsinghua University, KLISS, BNRist, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University, KLISS, BNRist,School of Software,Beijing,China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"School of Software, Tsinghua University, KLISS, BNRist, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100443178","display_name":"Ting Chen","orcid":"https://orcid.org/0000-0001-9165-8331","observed_orcids":["https://orcid.org/0000-0001-9165-8331","https://orcid.org/0000-0002-8894-1045"]},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ting Chen","raw_affiliation_strings":["University of Electronic Science and Technology of China, Chengdu, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100429010","display_name":"Jiaguang Sun","orcid":"https://orcid.org/0000-0002-5884-7939","observed_orcids":["https://orcid.org/0000-0002-5884-7939"]},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiaguang Sun","raw_affiliation_strings":["Tsinghua University, KLISS, BNRist,School of Software,Beijing,China","School of Software, Tsinghua University, KLISS, BNRist, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University, KLISS, BNRist,School of Software,Beijing,China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"School of Software, Tsinghua University, KLISS, BNRist, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.155,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.97770324,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"2517","last_page":"2532"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.6371999979019165,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.6371999979019165,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.36039999127388,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.0003000000142492354,"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/blockchain","display_name":"blockchain","score":0.5870000123977661},{"id":"https://openalex.org/keywords/bug-finding","display_name":"bug detection","score":0.718999981880188},{"id":"https://openalex.org/keywords/distributed-systems","display_name":"distributed systems","score":0.38600000739097595},{"id":"https://openalex.org/keywords/blockchain-vulnerabilities","display_name":"blockchain vulnerabilities","score":0.4129999876022339},{"id":"https://openalex.org/keywords/open-source-tools","display_name":"open source tools","score":0.42800000309944153},{"id":"https://openalex.org/keywords/fisco-bcos","display_name":"FISCO BCOS","score":0.8240000009536743},{"id":"https://openalex.org/keywords/quorum","display_name":"quorum","score":0.8510000109672546},{"id":"https://openalex.org/keywords/diem","display_name":"Diem","score":0.9639999866485596},{"id":"https://openalex.org/keywords/eos","display_name":"EOS","score":0.9950000047683716}],"concepts":[{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.9354543685913086},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6866926550865173},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.6697148680686951},{"id":"https://openalex.org/C107107730","wikidata":"https://www.wikidata.org/wiki/Q2994424","display_name":"Consensus","level":3,"score":0.6682733297348022},{"id":"https://openalex.org/C2983222225","wikidata":"https://www.wikidata.org/wiki/Q2994424","display_name":"Consensus algorithm","level":2,"score":0.5859639644622803},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.5610828399658203},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5420805215835571},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4423370063304901},{"id":"https://openalex.org/C168021876","wikidata":"https://www.wikidata.org/wiki/Q1353446","display_name":"Byzantine fault tolerance","level":3,"score":0.4320055842399597},{"id":"https://openalex.org/C70388272","wikidata":"https://www.wikidata.org/wiki/Q5968558","display_name":"IBM","level":2,"score":0.42181509733200073},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.41339343786239624},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3825729489326477},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.33475106954574585},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.1792697012424469},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17806139588356018},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.16633421182632446},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13525918126106262},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12295684218406677},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.0933263897895813},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sp46215.2023.10179386","doi":"https://doi.org/10.1109/sp46215.2023.10179386","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sp46215.2023.10179386","pdf_url":null,"source":{"id":"https://openalex.org/S4210233669","display_name":"IEEE Symposium on Security and Privacy (S&P)","issn_l":"1081-6011","issn":["1081-6011","2375-1207"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-2"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE Symposium on Security and Privacy (SP)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W95608104","https://openalex.org/W2126087831","https://openalex.org/W2189465200","https://openalex.org/W2303724510","https://openalex.org/W2539190473","https://openalex.org/W2768504192","https://openalex.org/W2799719933","https://openalex.org/W2805052744","https://openalex.org/W2896715746","https://openalex.org/W2936759722","https://openalex.org/W2977921325","https://openalex.org/W2978898605","https://openalex.org/W2981689050","https://openalex.org/W3018630846","https://openalex.org/W3047806483","https://openalex.org/W3085929865","https://openalex.org/W3091889505","https://openalex.org/W3111490787","https://openalex.org/W3174817303","https://openalex.org/W3181957689","https://openalex.org/W3194103972","https://openalex.org/W3207487452","https://openalex.org/W3213837676","https://openalex.org/W4206512216","https://openalex.org/W4287813104","https://openalex.org/W4293545213"],"related_works":["https://openalex.org/W3084255108","https://openalex.org/W4324007167","https://openalex.org/W7033855108","https://openalex.org/W4411552848","https://openalex.org/W7111854818","https://openalex.org/W3174817303","https://openalex.org/W4210699667","https://openalex.org/W4411552821","https://openalex.org/W7220176256","https://openalex.org/W4400511764"],"abstract_inverted_index":{"Blockchain":[0],"is":[1],"a":[2,8,101,135],"decentralized":[3],"distributed":[4],"system":[5],"on":[6,31,67,157],"which":[7,26,77,206],"large":[9,102],"number":[10,103],"of":[11,44,63,70,104,119,125,205],"financial":[12],"applications":[13],"have":[14,207],"been":[15,208],"deployed.":[16],"The":[17,59],"consensus":[18,72,81,107,126,142,163],"process":[19],"in":[20,97],"it":[21],"plays":[22],"an":[23,91],"important":[24],"role,":[25],"guarantees":[27],"that":[28],"legal":[29],"transactions":[30],"the":[32,68,79,117,123,179,211],"chain":[33],"can":[34,83],"be":[35,84],"executed":[36],"and":[37,40,61,121,144,154,175,184,190],"recorded":[38],"fairly":[39],"consistently.":[41],"However,":[42],"because":[43],"Consensus":[45],"Failure":[46],"Bugs":[47],"(CFBs),":[48],"many":[49],"blockchain":[50,64,80,98,162],"systems":[51,65,99],"do":[52],"not":[53],"provide":[54],"even":[55],"this":[56,86],"basic":[57],"guarantee.":[58],"validity":[60],"consistency":[62],"rely":[66],"soundness":[69],"complex":[71],"logic":[73],"implementation.":[74],"Any":[75],"bugs":[76],"cause":[78],"failure":[82],"crucial.In":[85],"work,":[87],"we":[88,110],"introduce":[89],"Tyr,":[90],"open-source":[92],"tool":[93],"for":[94],"detecting":[95],"CFBs":[96],"with":[100,178],"abnormal":[105],"divergent":[106,137],"behaviors.":[108],"First,":[109],"design":[111],"four":[112],"oracle":[113],"detectors":[114],"to":[115,139],"monitor":[116],"behaviors":[118],"nodes":[120,146],"analyze":[122],"violation":[124],"properties.":[127],"To":[128],"trigger":[129],"these":[130],"oracles":[131],"effectively,":[132],"Tyr":[133,156,186,196],"harnesses":[134],"behavior":[136],"model":[138],"constantly":[140],"generate":[141],"messages":[143],"make":[145],"behave":[147],"as":[148,150],"differently":[149],"possible.":[151],"We":[152],"implemented":[153],"evaluated":[155],"six":[158],"widely":[159],"used":[160],"commercial":[161],"systems,":[164],"including":[165],"IBM":[166],"Fabric,":[167],"WeBank":[168],"FISCO-BCOS,":[169],"ConsenSys":[170],"Quorum,":[171],"Facebook":[172],"Diem,":[173],"Go-Ethereum,":[174],"EOS.":[176],"Compared":[177],"state-of-the-art":[180],"tools":[181],"Peach,":[182],"Fluffy,":[183],"Twins,":[185],"covers":[187],"27.3%,":[188],"228.2%,":[189],"297.1%":[191],"more":[192],"branches,":[193],"respectively.":[194],"Furthermore,":[195],"has":[197],"detected":[198],"20":[199],"serious":[200],"previously":[201],"unknown":[202],"vulnerabilities,":[203],"all":[204],"repaired":[209],"by":[210],"corresponding":[212],"maintainers.":[213]},"counts_by_year":[{"year":2026,"cited_by_count":9},{"year":2025,"cited_by_count":13},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":4}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2023-07-23T00:00:00"}