Liu publishes on Ethereum smart contract security

Yinxi Liu, assistant professor in the Department of Cybersecurity, co-authored a paper accepted at the ACM International Conference on the Foundations of Software Engineering in Norway. Collaborating with researchers from Southern University of Science and Technology and The Chinese University of Hong Kong, Liu’s paper, “Enhancing the Detection of Smart Contract State-Inconsistency Bugs via Flow Divergence and Multiplex Symbolic Execution,” introduces DivertScan, a tool that detects vulnerabilities in Ethereum smart contracts.


Recommended News