<<< BACK <<<

STM-123:

Authors

            Alqahtani, Sarra and He, Xinchi and Gamble, Rose and Mauricio, Papa

Venue and Year

            HICSS, 2020

Original Work

            Formal Verification of Functional Requirements for Smart Contractv Compositions in Supply Chain Management Systems

Defense Modality

            Additive

Core Method(s)

            static analysis

Input-Output Mapping

            source code => bytecode

Targeted Contracts

            Any contract

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities