<<< BACK <<<

STM-128:

Authors

            Hajdu, {\'A}kos and Jovanovi{\'c}, Dejan and Ciocarlie, Gabriela

Venue and Year

            FMBC, 2020

Original Work

            Formal Specification and Verification of Solidity Contracts with Events

Defense Modality

            Additive

Core Method(s)

            formal + static analysis

Input-Output Mapping

            source code => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities