A Semantic Framework for the Security Analysis of Ethereum Smart Contractslink.springer.com3 pointsmbochenek8 years ago