Security in Distributed Systems

Termination of Ethereum's Smart Contracts