5 citations · 9 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2022★ 4 cited
SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network Controller
Ao Li, Rohan Padhye, Vyas Sekar
Performance issues in software-defined network (SDN) controllers can have serious impacts on the performance and availability of networks. In this paper, we consider a special clas…
cs.CR2018
Detecting Standard Violation Errors in Smart Contracts
Ao Li, Fan Long
We present SOLAR, a new analysis tool for automatically detecting standard violation errors in Ethereum smart contracts.Given the Ethereum Virtual Machine (EVM) bytecode of a smart…