Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Yu Jiang 0001, Ting Chen 0002, Jia-Guang Sun 0001. Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model. In 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023. pages 2517-2532, IEEE, 2023. [doi]
Abstract is missing.