4 ms·A Semantic Framework for the Security Analysis of Ethereum Smart Contracts3 points by mbochenek 9y ago