STM-097: STC, STV

Authors

            Hu, Xinwen and Zhuang, Yi and Lin, Shang-Wei and Zhang, Fuyuan and Kan, Shuanglong and Cao, Zining
            

Venue and Year

            Computers & Security, 2021
            

Original Work

            A security type verifier for smart contracts
            

Defense Modality

            Additive
            

Core Method(s)

            static analysis
            

Input-Output Mapping

            source code => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities