2 papers
cs.CR2024
Characterizing Ethereum Upgradable Smart Contracts and Their Security Implications
Xiaofan Li, Jin Yang, Jiaqi Chen +2
Upgradeable smart contracts (USCs) have been widely adopted to enable modifying deployed smart contracts. While USCs bring great flexibility to developers, improper usage might int…
cs.CR2023
Directed Greybox Fuzzing with Stepwise Constraint Focusing
Xiaofan Li, Xuan Li, Guangfa Lv +2
Dynamic data flow analysis has been widely used to guide greybox fuzzing. However, traditional dynamic data flow analysis tends to go astray in the massive path tracking and requir…