<<< BACK <<<

STM-114: ContractLarva

Authors

            Ellul, Joshua and Pace, Gordon J

Venue and Year

            EDCC, 2018

Original Work

            Runtime Verification of Ethereum Smart Contracts

Defense Modality

            Additive

Core Method(s)

            code synthesis

Input-Output Mapping

            source code + specifications => source code

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities