5 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.CR2026
Re-Evaluating EVMBench: Are AI Agents Ready for Smart Contract Security?
Chaoyuan Peng, Lei Wu, Yajin Zhou
EVMbench, released by OpenAI, Paradigm, and OtterSec, is the first large-scale benchmark for AI agents on smart contract security. Its results -- agents detect up to 45.6% of vulne…
cs.SE2020
CAT: Change-focused Android GUI Testing
Chao Peng, Ajitha Rajan
Android Apps are frequently updated, every couple of weeks, to keep up with changing user, hardware and business demands. Correctness of App updates is checked through extensive te…
cs.SE2019★ 5 cited
SIF: A Framework for Solidity Code Instrumentation and Analysis
Chao Peng, Sefa Akca, Ajitha Rajan
Solidity is an object-oriented and high-level language for writing smart contracts that are used to execute, verify and enforce credible transactions on permissionless blockchains.…