Zheng Yang
Orcid: 0000-0002-0165-0000Affiliations:
- University of Electronic Science and Technology of China, School of Information and Software Engineering, Chengdu, China
According to our database1,
Zheng Yang
authored at least 11 papers
between 2018 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application.
Comput. Syst. Sci. Eng., 2023
2020
A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts.
IEEE Access, 2020
A Resolution for Scalability Problem of Record Datatype Based Formal Memory Models in Coq.
Proceedings of the CSAE 2020: The 4th International Conference on Computer Science and Application Engineering, 2020
2019
A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts.
CoRR, 2019
FEther: An Extensible Definitional Interpreter for Smart-Contract Verifications in Coq.
IEEE Access, 2019
2018
Optimization of Executable Formal Interpreters developed in Higher-order Theorem Proving Systems.
CoRR, 2018
Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language.
CoRR, 2018
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, 2018
Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems.
IEEE Access, 2018
Proceedings of the 2nd International Conference on Computer Science and Application Engineering, 2018