<<< BACK <<<

STM-127: Colored Petri Net (CPN)

Authors

            Duo, Wang and Xin, Huang and Xiaofeng, Ma

Venue and Year

            IEEE Intelligent Systems, 2020

Original Work

            Formal Analysis of Smart Contract Based on Colored Petri Nets

Defense Modality

            Exploratory

Core Method(s)

            static analysis

Input-Output Mapping

            source code + bytecode => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities