<<< BACK <<<

STM-133: Contract Library

Authors

            Dedaub

Venue and Year

            Proprietary,

Original Work

            Contract Library

Defense Modality

            Additive

Core Method(s)

            code synthesis

Input-Output Mapping

            bytecode=>report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities