4 papers · 1 filter
SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers
Kaihua Qin, Dawn Song, Arthur Gervais
Smart contract decompilation aims to recover high-level source code from bytecode, but evaluating decompilers remains difficult because existing studies use narrow datasets, incons…
Benchmarking Mythos-Linked Bug Rediscovery
Isaac David, Arthur Gervais
Anthropic's April 2026 Mythos materials combine benchmark claims with concrete bug-finding stories across OpenBSD, FreeBSD, Linux, FFmpeg, and browsers. This paper reports a contro…
CrackMeBench: Binary Reverse Engineering for Agents
Isaac David, Arthur Gervais
Benchmarks for coding agents increasingly measure source-level software repair, and cybersecurity benchmarks increasingly measure broad capture-the-flag performance. Classical bina…
Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification
Yepeng Ding, Arthur Gervais, Roger Wattenhofer +1
Decentralized finance (DeFi) is revolutionizing the traditional centralized finance paradigm with its attractive features such as high availability, transparency, and tamper-proofi…