<<< BACK <<<

STM-125:

Authors

            Beckert, Bernhard and Herda, Mihai and Kirsten, Michael and Schiffl, Jonas

Venue and Year

            ICFEME, 2018

Original Work

            Formal Specification and Verification of Hyperledger Fabric Chaincode

Defense Modality

            Additive

Core Method(s)

            formal

Input-Output Mapping

            source code => report

Targeted Contracts

            Hyperledger Fabric

Threat Model

Vulnerable contract, malicious contract, or both 
            vulnerable contract

Targeted Vulnerabilities