{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T16:31:09Z","timestamp":1784392269145,"version":"3.55.0"},"reference-count":53,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T00:00:00Z","timestamp":1682899200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T00:00:00Z","timestamp":1682899200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"funder":[{"DOI":"10.13039\/100006190","name":"Research and Development","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006190","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5]]},"DOI":"10.1109\/sp46215.2023.10179386","type":"proceedings-article","created":{"date-parts":[[2023,7,21]],"date-time":"2023-07-21T17:18:15Z","timestamp":1689959895000},"page":"2517-2532","source":"Crossref","is-referenced-by-count":22,"title":["Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model"],"prefix":"10.1109","author":[{"given":"Yuanliang","family":"Chen","sequence":"first","affiliation":[{"name":"Tsinghua University, KLISS, BNRist,School of Software,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fuchen","family":"Ma","sequence":"additional","affiliation":[{"name":"Tsinghua University, KLISS, BNRist,School of Software,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuanhang","family":"Zhou","sequence":"additional","affiliation":[{"name":"Tsinghua University, KLISS, BNRist,School of Software,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yu","family":"Jiang","sequence":"additional","affiliation":[{"name":"Tsinghua University, KLISS, BNRist,School of Software,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ting","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China,Chengdu,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiaguang","family":"Sun","sequence":"additional","affiliation":[{"name":"Tsinghua University, KLISS, BNRist,School of Software,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jii.2019.04.002"},{"key":"ref5","volume-title":"Ethereum\u2019s \u2018unannounced hard fork\u2019 was trying to prevent the very disruption it caused","author":"Harper","year":"2022"},{"key":"ref6","volume-title":"The infura platform","year":"2022"},{"key":"ref7","volume-title":"The maker protocol: Makerdao\u2019s multi-collateral dai (mcd) system","year":"2022"},{"key":"ref8","volume-title":"Uniswap v3 core","author":"Adams","year":"2022"},{"key":"ref9","volume-title":"protocol-fuzzer-ce","author":"Eddington","year":"2021"},{"key":"ref10","first-page":"349","article-title":"Finding consensus bugs in ethereum via multi-transaction differential fuzzing","volume-title":"15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21)","author":"Yang"},{"key":"ref11","article-title":"Twins: Bft systems made robust","volume-title":"25th International Conference on Principles of Distributed Systems (OPODIS 2021)","author":"Bano"},{"key":"ref12","volume-title":"Official go implementation of the ethereum protocol","year":"2022"},{"key":"ref13","volume-title":"Parity ethereum. the fastest and most advanced ethereum client","year":"2022"},{"key":"ref14","volume-title":"Hyperledger fabric","year":"2021"},{"key":"ref15","volume-title":"Fisco bcos","year":"2021"},{"key":"ref16","article-title":"Analysis of nakamoto consensus","author":"Ren","year":"2019","journal-title":"Cryptology ePrint Archive"},{"key":"ref17","volume-title":"Proof of work","author":"FRANKENFIELD","year":"2021"},{"key":"ref18","volume-title":"Proof of stake","author":"FRANKENFIELD","year":"2021"},{"issue":"1999","key":"ref19","first-page":"173","article-title":"Practical byzantine fault tolerance","volume-title":"OSDI","volume":"99","author":"Castro"},{"key":"ref20","author":"Yin","year":"2018","journal-title":"Hotstuff: Bft consensus in the lens of blockchain"},{"issue":"10.1145","key":"ref21","first-page":"343 477","article-title":"Towards robust distributed systems","volume-title":"PODC","volume":"7","author":"Brewer"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2019.2921566"},{"issue":"2","key":"ref23","first-page":"352","article-title":"Blockchain attacks analysis and a model to solve double spending attack","volume":"10","author":"Begum","year":"2020","journal-title":"International Journal of Machine Learning and Computing"},{"key":"ref25","volume-title":"Welcome to ethereum","year":"2021"},{"key":"ref26","first-page":"2019","volume":"11","author":"Xu","year":"2018","journal-title":"Eos: An architectural, performance, and economic analysis"},{"key":"ref27","volume-title":"Welcome to the diem project","year":"2021"},{"key":"ref28","first-page":"2019","volume":"17","author":"Chase","year":"2016","journal-title":"Quorum white paper"},{"key":"ref29","volume-title":"Protocol buffer structure encoding","year":"2021"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.icte.2020.09.002"},{"key":"ref31","volume-title":"Coinmarketcap","year":"2022"},{"key":"ref32","volume-title":"A test coverage program","year":"2022"},{"key":"ref33","volume-title":"Codecov and grcov","year":"2022"},{"key":"ref34","volume-title":"Googletest coverage","year":"2022"},{"key":"ref35","volume-title":"What is a block confirmation on ethereum","author":"Stauffer","year":"2022"},{"key":"ref36","volume-title":"How does a block chain prevent double-spending of bitcoins","author":"REIFF","year":"2022"},{"key":"ref37","author":"Bano","year":"2020","journal-title":"Twins: White-glove approach for bft testing"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/CNS48642.2020.9162273"},{"key":"ref39","volume-title":"Address sanitizer","year":"2021"},{"key":"ref40","first-page":"291","article-title":"Minimizing faulty executions of distributed systems","volume-title":"13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16)","author":"Scott"},{"key":"ref41","author":"Ongaro","year":"2015","journal-title":"The raft consensus algorithm"},{"key":"ref42","article-title":"Spark: Cluster computing with working sets","volume-title":"2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 10)","author":"Zaharia"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464837"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3117966"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3473929"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/3560264"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.14778\/3430915.3430918"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2834401"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359662"},{"key":"ref52","author":"Kim","journal-title":"Modulo: Finding convergence failure bugs in distributed systems with divergence resync models"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3427228.3427662"},{"key":"ref54","volume-title":"Sulley","author":"Amini","year":"2012"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218603"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586321"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.3934\/mfc.2018007"}],"event":{"name":"2023 IEEE Symposium on Security and Privacy (SP)","location":"San Francisco, CA, USA","start":{"date-parts":[[2023,5,21]]},"end":{"date-parts":[[2023,5,25]]}},"container-title":["2023 IEEE Symposium on Security and Privacy (SP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10179215\/10179280\/10179386.pdf?arnumber=10179386","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T05:15:20Z","timestamp":1721452520000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10179386\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5]]},"references-count":53,"URL":"https:\/\/doi.org\/10.1109\/sp46215.2023.10179386","relation":{},"subject":[],"published":{"date-parts":[[2023,5]]}}}