STM-122: Javadity

Authors

            Ahrendt, Wolfgang and Bubel, Richard and Ellul, Joshua and Pace, Gordon J and Pardo, Ra{\'u}l and Rebiscoul, Vincent and Schneider, Gerardo
            

Venue and Year

            FSEN, 2019
            

Original Work

            Verification of Smart Contract Business Logic
            

Defense Modality

            Additive
            

Core Method(s)

            code synthesis
            

Input-Output Mapping

            source code => source code
            

Targeted Contracts

            EVM-compatible
            

Threat Model

            both
            

Targeted Vulnerabilities