<<< BACK <<<

STM-087: SmartPulse

Authors

            Stephens, Jon and Ferles, Kostas and Mariano, Benjamin and Lahiri, Shuvendu and Dillig, Isil

Venue and Year

            Oakland, 2021

Original Work

            SmartPulse: Automated Checking of Temporal Properties in Smart Contracts

Defense Modality

            Additive

Core Method(s)

            static analysis

Input-Output Mapping

            source code + specifications => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities