<<< BACK <<<

STM-058: VeriSmart

Authors

            So, Sunbeom and Lee, Myungho and Park, Jisu and Lee, Heejo and Oh, Hakjoo

Venue and Year

            Oakland, 2020

Original Work

            VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts

Defense Modality

            Subtractive

Core Method(s)

            static analysis

Input-Output Mapping

            source code => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities