A Semantic Framework for the Security Analysis of Ethereum Smart Contracts #1 Post by mbochenek » Sat, Apr 21, 2018, 6:10 AM UTC A Semantic Framework for the Security Analysis of Ethereum Smart Contractslink.springer.com