Workshop Open Original ↗ DeepState: Bringing Vulnerability Detection Tools into the Dev Cycle Type Workshop Client — Date 2018-10 Domain — Effort — Section — Open the PDF ↗ Related 2019-10 Smart Contract Security Automation Workshop 2018-11 Introduction to Smart Contract Exploitation Workshop 2018-11 Manticore EVM Workshop Workshop 2018-10 Smart Contract Security Automation Workshop 2018-09 Smart Contract Security Automation Workshop 2018-03 Manticore EVM Workshop Workshop