A survey of blockchain consensus safety and security: State-of-the-art, challenges, and future work?[J] JOURNAL OF SYSTEMS AND SOFTWARE 2023(196) Bao, Qihao Li, Bixin Hu, Tianyuan Sun, Xueyong
Can PoW Consensus Protocol Resist the Whale Attack?[C] 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS 2022 Sun, Xueyong Bao, Qihao Li, Bixin
Model Checking the Safety of Raft Leader Election Algorithm[C] 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS 2022 Bao, Qihao Li, Bixin Hu, Tianyuan Cao, Dongyu