simuBits: Pool Security Verification of Novel Mining Attacks.

Zunlong Zhou, Wen Chen, Linrui Li, Yilin Zhang

Browse the full ProvSec paper archive.