STM-117: VeriSol

Authors

            Wang, Yuepeng and Lahiri, Shuvendu K and Chen, Shuo and Pan, Rong and Dillig, Isil and Born, Cody and Naseer, Immad and Ferles, Kostas
            

Venue and Year

            VSTTE, 2019
            

Original Work

            Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain
            

Defense Modality

            Additive
            

Core Method(s)

            formal
            

Input-Output Mapping

            source code => report
            

Targeted Contracts

            EVM-compatible
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities