STM-113: Findel

Authors

            Biryukov, Alex and Khovratovich, Dmitry and Tikhomirov, Sergei
            

Venue and Year

            FC, 2017
            

Original Work

            Findel: Secure Derivative Contracts for Ethereum
            

Defense Modality

            Additive
            

Core Method(s)

            code synthesis
            

Input-Output Mapping

            specifications => source code
            

Targeted Contracts

            Any contract
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities