<<< BACK <<<

STM-034: VeriSolid

Authors

            Mavridou, Anastasia and Laszka, Aron and Stachtiari, Emmanouela and Dubey, Abhishek

Venue and Year

            FC, 2019

Original Work

            VeriSolid: Correct-by-Design Smart Contracts for Ethereum

Defense Modality

            Additive

Core Method(s)

            formal + code synthesis

Input-Output Mapping

            source code + specifications => source code

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            vulnerable contract

Targeted Vulnerabilities