In this talk we will explore the Ethereum Virtual Machine (EVM) architecture, explore its smart-contract "boot loader" and analyze a few cases of known bugs, and how static and dynamic analysis using frameworks such as Porosity could prevent them. As trusted models are becoming increasingly important, we will also guess how frameworks like Coco Framework will leverage virtualization-based security (VBS) and Intel Software Guard Extensions (SGX) to protect Blockchain-based Virtual Machines such as the EVM.