BitML: A Calculus for Bitcoin Smart Contracts
Hijacking Bitcoin: Routing Attacks on Cryptocurrencies