A Semantic Framework for the Security Analysis of Ethereum Smart Contracts (Principles of Security and Trust, 2018)