<<< BACK <<<

STM-106: Solidifier

Authors

            Antonino, Pedro and Roscoe, AW

Venue and Year

            SAC, 2021

Original Work

            Solidifier: bounded model checking Solidity using lazy contract deployment and precise memory modelling

Defense Modality

            Additive

Core Method(s)

            formal

Input-Output Mapping

            source code => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            vulnerable contract

Targeted Vulnerabilities