Designing secure Ethereum smart contracts: a finite state machine approach the morning paper, 20 Mar 2018 Designing secure Ethereum smart contracts: a finite state machine based approach Mavridou