<<< BACK <<<

STM-056: KSolidity

Authors

            Jiao, Jiao and Kan, Shuanglong and Lin, Shang-Wei and Sanan, David and Liu, Yang and Sun, Jun

Venue and Year

            Oakland, 2020

Original Work

            Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity

Defense Modality

            Exploratory

Core Method(s)

            formal

Input-Output Mapping

            source code => metadata

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities