<<< BACK <<<

STM-024: Lolisa

Authors

            Yang, Zheng and Lei, Hang

Venue and Year

            MPE, 2018

Original Work

            Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language in Mathematical Tool Coq

Defense Modality

            Additive

Core Method(s)

            formal

Input-Output Mapping

            source code => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities