2 papers
cs.CR2023
Unmasking Role-Play Attack Strategies in Exploiting Decentralized Finance (DeFi) Systems
Weilin Li, Zhun Wang, Chenyu Li +5
The rapid growth and adoption of decentralized finance (DeFi) systems have been accompanied by various threats, notably those emerging from vulnerabilities in their intricate desig…
cs.CR2023
Enhancing Smart Contract Security Analysis with Execution Property Graphs
Kaihua Qin, Zhe Ye, Zhun Wang +5
Smart contract vulnerabilities have led to significant financial losses, with their increasing complexity rendering outright prevention of hacks increasingly challenging. This tren…