Zheng Yang

12 papers Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application.
Comput. Syst. Sci. Eng.
Liangjun Deng, Hang Lei, Zheng Yang, Weizhong Qian, Xiaoyu Li, Hao Wu, Sihao Deng, Ruchao Sha, Weidong Deng
2020 J jnl
A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts.
IEEE Access
Zheng Yang, Hang Lei, Weizhong Qian
2020 — conf
A Resolution for Scalability Problem of Record Datatype Based Formal Memory Models in Coq.
CSAE
Zheng Yang, Hang Lei, Weizhong Qian, Zehui Yan, Weiru Zeng
2019 J jnl
A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts.
CoRR
Zheng Yang, Hang Lei, Weizong Qian
2019 J jnl
FEther: An Extensible Definitional Interpreter for Smart-Contract Verifications in Coq.
IEEE Access
Zheng Yang, Hang Lei
2018 J jnl
A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusability.
CoRR
Zheng Yang, Hang Lei
2018 J jnl
FEther: An Extensible Definitional Interpreter for Smart-contract Verifications in Coq.
CoRR
Zheng Yang, Hang Lei
2018 J jnl
Formal Process Virtual Machine for Smart Contracts Verification.
CoRR
Zheng Yang, Hang Lei
2018 — conf
Formal Verification of GP Specification based Embedded Operating System.
CSAE
Haiyong Sun, Hang Lei, Lei Qiao, Zheng Yang
2018 J jnl
Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language.
CoRR
Zheng Yang, Hang Lei
2018 J jnl
Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems.
IEEE Access
Zheng Yang, Hang Lei
2018 J jnl
Optimization of Executable Formal Interpreters developed in Higher-order Theorem Proving Systems.
CoRR
Zheng Yang, Hang Lei