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
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski