7 citations · 22 across the 11 of their papers we have counts for
12 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…
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…
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…
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…
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…
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…
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…
Capturing Smart Contract Design with DCR Graphs
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho +2
Smart contracts manage blockchain assets and embody business processes. However, mainstream smart contract programming languages such as Solidity lack explicit notions of roles, ac…
ChatGPT as a Therapist Assistant: A Suitability Study
Mahshid Eshghie, Mojtaba Eshghie
This paper proposes using ChatGPT, an innovative technology with various applications, as an assistant for psychotherapy. ChatGPT can serve as a patient information collector, a co…
CircleChain: Tokenizing Products with a Role-based Scheme for a Circular Economy
Mojtaba Eshghie, Li Quan, Gustav Andersson Kasche +3
In a circular economy, tracking the flow of second-life components for quality control is critical. Tokenization can enhance the transparency of the flow of second-life components.…
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning
Mojtaba Eshghie, Cyrille Artho, Dilian Gurov
In this work we propose Dynamit, a monitoring framework to detect reentrancy vulnerabilities in Ethereum smart contracts. The novelty of our framework is that it relies only on tra…
Hybrid Model for Anomaly Detection on Call Detail Records by Time Series Forecasting
Aryan Mokhtari, Leyla Sadighi, Behnam Bahrak +1
Mobile network operators store an enormous amount of information like log files that describe various events and users' activities. Analysis of these logs might be used in many cri…