Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model.

Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Yu Jiang, Ting Chen, Jia-Guang Sun

Browse the full SP paper archive.