STM-011: Hydra

Authors

            Breidenbach, Lorenz and Daian, Phil and Tram{\`e}r, Florian and Juels, Ari
            

Venue and Year

            USENIX Security, 2018
            

Original Work

            Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts
            

Defense Modality

            Additive
            

Core Method(s)

            code synthesis
            

Input-Output Mapping

            source code => bytecode
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities