<<< BACK <<<

STM-129:

Authors

            Kongmanee, Jaturong and Kijsanayothin, Phongphun and Hewett, Rattikorn

Venue and Year

            ASEW, 2019

Original Work

            Securing Smart Contracts in Blockchain

Defense Modality

            Additive

Core Method(s)

            formal

Input-Output Mapping

            specifications => metadata

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities