2 papers
cs.SE2026
Wake 5: A Python Framework for Solidity Testing, Fuzzing, and Static Analysis
Josef Gattermayer, Michal Převrátil
Smart-contract fuzzers differ by an order of magnitude in throughput and by design in how they construct inputs, yet published comparisons rarely separate the two. We present Wake…
cs.CR2026
The ack3 H1 2026 DeFi Incident Dataset: Audit Scope Across 135 Security Incidents
Josef Gattermayer, Jan Kalivoda, Arman Bašović
Smart-contract audits cover defined artifacts at a specific time, but the label audited is often treated as project-wide assurance. We analyze audit history and incident-path scope…