<<< BACK <<<

STM-075: Artemis

Authors

            Wang, Anqi and Wang, Hao and Jiang, Bo and Chan, Wing Kwong

Venue and Year

            DSA, 2020

Original Work

            Artemis: An Improved Smart Contract Verification Tool for Vulnerability Detection

Defense Modality

            Subtractive

Core Method(s)

            symbolic execution

Input-Output Mapping

            bytecode => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities