EDBT 2026 Demo / reviewers in the wild / expert
Ilham A. Qasse
dblp:226/5847 · also Ilham Ahmed Qasse
· DBLP profile ↗
2ranked-venue papers in the field
2as first author
2since 2021 · last 2026
0000-0001-7526-3583ORCID · reported
Domains — venue-derived; a paper can count in several
Other / Interdisciplinary · 2 (2 first)
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Do We Agree on What an "Audit" Is? Toward Standardized Smart Contract Audit ReportingabstractSmart contract security audits are essential for trust in decentralized finance (DeFi), yet audit reports from different firms vary widely in scope definition, severity labels, fix verification, and report structure. These differences make it hard for developers, users, and other stakeholders to assess risk. In this paper, we address these issues by empirically analyzing 160 audit reports from 26 leading auditing firms to uncover patterns and gaps in current practices. Using qualitative content analysis, we extract a taxonomy of 19 common properties that audit reports include (or omit). We then apply Formal Concept Analysis (FCA) to identify five distinct “report style families” used by auditors, and perform a temporal trend analysis to see if the industry is converging on certain best practices. Finally, we synthesize a feature model that specifies a minimal defensible baseline for audit reports, distinguishing mandatory sections from optional extensions to support traceability and consistent interpretation across reports. This model enables reproducible comparisons across auditors, strengthens accountability for scope definition and fix verification, and provides an evidence base to improve the quality and uniformity of smart contract audit reporting. Ilham A. Qasse, Mohammad Hamdaqa, Gísli Hjálmtýsson |
MSR | 1 |
| 2025 | EvoChain: A Framework for Tracking and Visualizing Smart Contract EvolutionabstractTracking the evolution of smart contracts is challenging due to their immutable nature and complex upgrade mechanisms. We introduce EvoChain, a comprehensive framework and dataset designed to track and visualize smart contract evolution. Building upon data from our previous empirical study, EvoChain models contract relationships using a Neo4j graph database and provides an interactive web interface for exploration. The framework consists of a data layer, an API layer, and a user interface layer. EvoChain allows stakeholders to analyze contract histories, upgrade paths, and associated vulnerabilities by leveraging these components. Our dataset encompasses approximately 1.3 million upgradeable proxies and nearly 15,000 historical versions, enhancing transparency and trust in blockchain ecosystems by providing an accessible platform for understanding smart contract evolution. Ilham A. Qasse, Mohammad Hamdaqa, Björn Þór Jónsson 0001 |
MSR | 1 |