6 papers
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…
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…
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…
SoliDiffy: AST Differencing for Solidity Smart Contracts
Mojtaba Eshghie, Viktor à ryd, Cyrille Artho +1
Structured code differencing is the act of comparing the hierarchical structure of code via its abstract syntax tree (AST) to capture modifications. AST-based source code differenc…
HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho +2
Logical flaws in smart contracts are often exploited, leading to significant financial losses. Our tool, HighGuard, detects transactions that violate business logic specifications…
A Dynamic Tree Structure for Hierarchical On-Chain Asset Management
Mojtaba Eshghie, Gustav Andersson Kasche
In this paper, we introduce the Sarv, a novel non-monolithic blockchain-based data structure designed to represent hierarchical relationships between digitally representable compon…