4 citations · 5 across the 10 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CR2023
Survey on Quality Assurance of Smart Contracts
Zhiyuan Wei, Jing Sun, Zijian Zhang +3
With the increasing adoption of smart contracts, ensuring their security has become a critical concern. Numerous vulnerabilities and attacks have been identified and exploited, res…
cs.DC2023★ 1 cited
A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts
Zhiyuan Wei, Xianhao Zhang, Jing Sun +2
Blockchain smart contracts have emerged as a transformative force in the digital realm, spawning a diverse range of compelling applications. Since solidity smart contracts across v…