38 citations · 71 across the 9 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.CR2025
PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts
Vivi Andersson, Sofia Bobadilla, Harald Hobbelhagen +1
Smart contracts operate in a highly adversarial environment, where vulnerabilities can lead to substantial financial losses. Thus, smart contracts are subject to security audits. I…
cs.SE2025★ 7 cited
Do Automated Fixes Truly Mitigate Smart Contract Exploits?
Sofia Bobadilla, Monica Jin, Martin Monperrus
Automated Program Repair (APR) for smart contract security promises to automatically mitigate smart contract vulnerabilities responsible for billions in financial losses. However,…