activity
20212025
most citedChat2Code: Towards conversational concrete syntax for model specification and code generation, the case of smart contracts

6 citations · 16 across the 10 of their papers we have counts for

collaborators

10 papers

cs.SE2025

The Myth of Immutability: A Multivocal Review on Smart Contract Upgradeability

Ilham Qasse, Isra M. Ali, Nafisa Ahmed +2

The immutability of smart contracts on blockchain platforms like Ethereum promotes security and trustworthiness but presents challenges for updates, bug fixes, or adding new featur…

cs.SE2025

EvoChain: A Framework for Tracking and Visualizing Smart Contract Evolution

Ilham Qasse, Mohammad Hamdaqa, Björn Þór Jónsson

Tracking the evolution of smart contracts is challenging due to their immutable nature and complex upgrade mechanisms. We introduce EvoChain, a comprehensive framework and dataset…

cs.SE2024★ 2 cited

Immutable in Principle, Upgradeable by Design: Exploratory Study of Smart Contract Upgradeability

Ilham Qasse, Mohammad Hamdaqa, Björn Þór Jónsson

Smart contracts, known for their immutable nature to ensure trust via automated enforcement, have evolved to require upgradeability due to unforeseen vulnerabilities and the need f…

cs.CR2023

Dissecting Smart Contract Languages: A Survey

Majd Soud, Gísli Hjálmtýsson, Mohammad Hamdaqa

Blockchain is a distributed ledger technology that gained popularity for enabling the transformation of cryptocurrency among peers without mediation by a centralized third-party au…

cs.SE2023

PrAIoritize: Automated Early Prediction and Prioritization of Vulnerabilities in Smart Contracts

Majd Soud, Grischa Liebel, Mohammad Hamdaqa

Context:Smart contracts are prone to numerous security threats due to undisclosed vulnerabilities and code weaknesses. In Ethereum smart contracts, the challenges of timely address…

cs.SE2023★ 4 cited

Smart Contract Upgradeability on the Ethereum Blockchain Platform: An Exploratory Study

Ilham Qasse, Mohammad Hamdaqa, Björn Þór Jónsson

Context: Smart contracts are computerized self-executing contracts that contain clauses, which are enforced once certain conditions are met. Smart contracts are immutable by design…

cs.CR2022★ 1 cited

AutoMESC: Automatic Framework for Mining and Classifying Ethereum Smart Contract Vulnerabilities and Their Fixes

Majd Soud, Ilham Qasse, Grischa Liebel +1

Due to the risks associated with vulnerabilities in smart contracts, their security has gained significant attention in recent years. However, there is a lack of open datasets on s…

cs.CR2022★ 3 cited

A Fly in the Ointment: An Empirical Study on the Characteristics of Ethereum Smart Contracts Code Weaknesses and Vulnerabilities

Majd Soud, Grischa Liebel, Mohammad Hamdaqa

Context: Smart contracts are computer programs that are automatically executed on the blockchain. Vulnerabilities in their implementation have led to severe loss of cryptocurrency.…

cs.SE2021★ 6 cited

Chat2Code: Towards conversational concrete syntax for model specification and code generation, the case of smart contracts

Ilham Qasse, Shailesh Mishra, Mohammad Hamdaqa

The revolutionary potential of automatic code generation tools based on Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software prof…

cs.SE2021

iContractBot: A Chatbot for Smart Contracts' Specification and Code Generation

Ilham Qasse, Shailesh Mishra, Mohammad Hamdaqa

Recently, Blockchain technology adoption has expanded to many application areas due to the evolution of smart contracts. However, developing smart contracts is non-trivial and chal…