Mojtaba Eshghie

Mojtaba Eshghie
Verified
Mojtaba verified their affiliation via an institutional email.
Verified
Mojtaba verified their affiliation via an institutional email.
KTH Royal Institute of Technology | KTH · Department of Theoretical Computer Science (TCS)

PhD

About

14
Publications
18,781
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
74
Citations
Introduction
My current research is focused on Monitoring and Verification of Smart Contracts using state of the art both static and dynamic techniques.
Additional affiliations
June 2019 - September 2020
Télécom Paris
Position
  • Graduate Intern
Description
  • Evaluation of overhead of i-OAM Operations in Vector Packet Processing (VPP) using Container Networking, Supervised by Professor Leonardo Linguaglossa in Telecom Paristech. I contributed to the overhead evaluation of telemetry operations in container networking. The working group consisted of Cisco R&D, Telecom Paristech LINCS Laboratory researchers, and last but not least University of Liege
Education
September 2016 - September 2020
University of Tehran
Field of study
  • Information Technology Engineering

Publications

Publications (14)
Preprint
In this paper, we introduce the Sarv, a novel non-monolithic blockchain-based data structure designed to represent hierarchical relationships between digitally representable components. Sarv serves as an underlying infrastructure for a wide range of applications requiring hierarchical data management, such as supply chain tracking, asset management...
Preprint
Full-text available
Smart contracts, primarily written in Solidity, are integral to blockchain software applications, yet precise analysis and maintenance are hindered by the limitations of existing differencing tools. We introduce SoliDiffy, a novel Abstract Syntax Tree (AST) differencing tool specifically designed for Solidity. SoliDiffy enables fine-grained analysi...
Chapter
Full-text available
Smart contracts manage blockchain assets and embody business processes. However, mainstream smart contract programming languages such as Solidity lack explicit notions of roles, action dependencies, and time. Instead, these concepts are implemented in program code. This makes it very hard to design and analyze smart contracts. We argue that DCR gra...
Preprint
Full-text available
Logical flaws in smart contracts are often exploited, leading to significant financial losses. Our tool, HighGuard, detects transactions that violate business logic specifications of smart contracts. HighGuard employs dynamic condition response (DCR) graph models as formal specifications to verify contract execution against these models. It is capa...
Preprint
Full-text available
Smart contracts manage blockchain assets. While smart contracts embody business processes, their platforms are not process-aware. Mainstream smart contract programming languages such as Solidity do not have explicit notions of roles, action dependencies, and time. Instead, these concepts are implemented in program code. This makes it very hard to d...
Preprint
Full-text available
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 companion for patients in between therapy sessions, and an organizer of gathered information for therapists to facilitate treatment processes. The research identifies five...
Preprint
Full-text available
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. However, simple tokenization does not correspond to real economic models and lacks the ability to finely manage complex business processes. In particular, existing syste...
Preprint
Full-text available
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 transaction metadata and balance data from the blockchain system; our approach requires no domain knowledge, code instrumentation, or special execution environment. Dynamit...

Questions

Questions (2)
Question
I have recently came across the this terminology. Can anyone give me an intuitive description?
Question
My recent project in university is to develop a car OS using the available open-source kernels. The testing and development board for this operating system will be Raspbery pi, I need to know which of FreeRTOS or Zephyr is the right choice for this project?

Network

Cited By