STM-016: FSolidM

Authors

            Mavridou, Anastasia and Laszka, Aron
            

Venue and Year

            FC, 2018
            

Original Work

            Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
            

Defense Modality

            Additive
            

Core Method(s)

            code synthesis
            

Input-Output Mapping

            source code + specifications => source code
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities