A Semantic Framework for the Security Analysis of Ethereum smart contracts
ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER