<<< BACK <<<

STM-057: VerX

Authors

            Permenev, Anton and Dimitrov, Dimitar and Tsankov, Petar and Drachsler-Cohen, Dana and Vechev, Martin

Venue and Year

            Oakland, 2020

Original Work

            VerX: Safety Verification of Smart Contracts

Defense Modality

            Additive

Core Method(s)

            symbolic execution + code synthesis

Input-Output Mapping

            source code => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities