<<< BACK <<<

STM-116: Solicitous

Authors

            Marescotti, Matteo and Otoni, Rodrigo and Alt, Leonardo and Eugster, Patrick and Hyv{\"a}rinen, Antti EJ and Sharygina, Natasha

Venue and Year

            ISoLA, 2020

Original Work

            Accurate Smart Contract Verification through Direct Modelling

Defense Modality

            Additive

Core Method(s)

            static analysis

Input-Output Mapping

            source code => bytecode

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities