STM-031: Flint

Authors

            Schrans, Franklin and Eisenbach, Susan and Drossopoulou, Sophia
            

Venue and Year

            ICPS (?), 2018
            

Original Work

            Writing Safe Smart Contracts in Flint
            

Defense Modality

            Additive
            

Core Method(s)

            code synthesis
            

Input-Output Mapping

            specifications => source code
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities