activity
20172026
most citedOpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities

28 citations · 44 across the 7 of their papers we have counts for

collaborators

7 papers

cs.SE2026

Automated Vulnerability Injection in Smart Contracts Using Large Language Models

Luca Migliaccio, Roberto Natella, Naghmeh Ivaki +2

Assessing vulnerability detection tools for smart contracts requires datasets with known ground truth, yet such datasets are scarce and difficult to build by hand. We propose an ap…

cs.CR2026

Willing but Unable: Separating Refusal from Capability in Code LLMs via Abliteration

Cristina Carleo, Pietro Liguori, Naghmeh Ivaki +1

Producing a labeled vulnerable code at scale is a recurring obstacle for learning-based vulnerability detection: mined corpora carry substantial label noise, and existing LLM-based…

cs.CY2025

A Systematic Literature Review of Unmanned Aerial Vehicles for Healthcare and Emergency Services

Sara Habibi, Naghmeh Ivaki, João Barata

Unmanned aerial vehicles (UAVs), initially developed for military applications, are now used in various fields. As UAVs become more common across multiple industries, it is crucial…

cs.CR2023★ 1 cited

Analyzing the Impact of Elusive Faults on Blockchain Reliability

Fernando Richter Vidal, Naghmeh Ivaki, Nuno Laranjeiro

Blockchain recently became very popular due to its use in cryptocurrencies and potential application in various domains (e.g., retail, healthcare, insurance). The smart contract is…

cs.CR2023★ 28 cited

OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities

Fernando Richter Vidal, Naghmeh Ivaki, Nuno Laranjeiro

Smart contracts are nowadays at the core of most blockchain systems, as they specify and allow an agreement between entities that wish to perform a transaction. As any computer pro…

cs.SE2020★ 15 cited

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts

Ákos Hajdu, Naghmeh Ivaki, Imre Kocsis +5

Blockchain has become particularly popular due to its promise to support business-critical services in very different domains (e.g., retail, supply chains, healthcare). Blockchain…

cs.DC2017

13th European Dependable Computing Conference (EDCC 2017): Fast Abstracts and Student Forum Proceedings

Naghmeh Ivaki

Fast Abstracts are short presentations of work in progress or opinion pieces and aim to serve as a rapid and flexible mechanism to (i) Report on current work that may or may not be…