2 papers
cs.CR2025
Raven: Mining Defensive Patterns in Ethereum via Semantic Transaction Revert Invariants Categories
Mojtaba Eshghie, Melissa Mazura, Alexandre Bartel
We frame Ethereum transactions reverted by invariants-require(<invariant>)/ assert(<invariant>)/if (<invariant>) revert statements in the contract implementation-as a positive sign…
cs.CR2025
FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
Mojtaba Eshghie, Gabriele Morello, Matteo Lauretano +2
Smart contract vulnerabilities cost billions of dollars annually, yet existing automated analysis tools fail to generate deployable defenses. We present FLAMES, a novel automated a…