28 citations · 44 across the 5 of their papers we have counts for
6 papers
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…
An Empirical Study on the Classification of Bug Reports with Machine Learning
Renato Andrade, César Teixeira, Nuno Laranjeiro +1
Software defects are a major threat to the reliability of computer systems. The literature shows that more than 30% of bug reports submitted in large software projects are misclass…
ONDA: ONline Database Architect
Nuno Laranjeiro, Alexandre Miguel Pinto
Database modeling is a key activity towards the fulfillment of storage requirements. Despite the availability of several database modeling tools for developers, these often come wi…
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…
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…
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…