Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains
A Semantic Framework for the Security Analysis of Ethereum smart contracts