A game semantics framework delivers the first sound and complete open-world assertion checking for Ethereum smart contracts, implemented as YulTracer which achieves perfect recall and precision on reentrancy benchmarks and real-world exploits.
Armin Biere, Katalin Fazekas, Mathias Fleury, and Maximilian Heisinger
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
A target-aware solver-free data generation pipeline plus an LPGNN that uses linear-programming residuals produces fast, correctly labeled training data and improves GNN-based SAT prediction.
citing papers explorer
-
Open-World Assertion Checking for Smart Contracts via Game Semantics
A game semantics framework delivers the first sound and complete open-world assertion checking for Ethereum smart contracts, implemented as YulTracer which achieves perfect recall and precision on reentrancy benchmarks and real-world exploits.
-
Target-Aware Data Augmentation for SAT Prediction
A target-aware solver-free data generation pipeline plus an LPGNN that uses linear-programming residuals produces fast, correctly labeled training data and improves GNN-based SAT prediction.