7 citations · 22 across the 11 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
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.SE2025
Repairing Language Model Pipelines by Meta Self-Refining Competing Constraints at Runtime
Mojtaba Eshghie
Language Model (LM) pipelines can dynamically refine their outputs against programmatic constraints. However, their effectiveness collapses when faced with competing soft constrain…
cs.CR2025
SoK: Root Cause of $1 Billion Loss in Smart Contract Real-World Attacks via a Systematic Literature Review of Vulnerabilities
Hadis Rezaei, Mojtaba Eshghie, Karl Anderesson +1
While catastrophic attacks on Ethereum persist, vulnerability research remains fixated on implementation-level smart contract bugs, creating a gap between academic understanding of…