2 citations · 2 across the 2 of their papers we have counts for
2 papers
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…
cs.SE2024★ 2 cited
DISL: Fueling Research with A Large Dataset of Solidity Smart Contracts
Gabriele Morello, Mojtaba Eshghie, Sofia Bobadilla +1
The DISL dataset features a collection of unique Solidity files that have been deployed to Ethereum mainnet. It caters to the need for a large and diverse dataset of real…