FlawCheck: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution
Year: 2024
Type: article
Source: Security and Privacy
DOI: 10.1002/spy2.477
Authors: Naixiang Gou, Xiangfu Zhao, Shiji Wang, Hanfeng Zhang, Jiahui Yang
Institution: Yantai University
Language: English
Subfield: Information Systems
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4403848333