simuBits: Pool Security Verification of Novel Mining Attacks. - Zunlong Zhou; Wen Chen; Linrui Li; Yilin Zhang (ProvSec, 2023)