FlawCheck: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution

Fuente: Wiley Open Access

Saved in:

Bibliographic Details
Main Authors:	Naixiang Gou, Xiangfu Zhao, Shiji Wang, Hanfeng Zhang, Jiahui Yang
Format:	Artículo Open Access
Published:	Wiley 2024
Subjects:	SECURITY AND PRIVACY
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet