Author

Pietro Ferrara

h-index 6 View on Semantic Scholar

We have 3 of 24 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Oct 2026

GoLiSA: An Advanced Static Analysis Tool for Detecting Potential Risks and Vulnerabilities in Hyperledger Fabric Smart Contracts

GoLiSA is a static analysis tool that allows the verification of smart contracts written in Go, the most widely used language for developing smart contracts in Hyperledger Fabric. GoLiSA relies on abstract interpretation to model program semantics and identify potential risks and vulnerabilities in smart contracts. It...

Luca Olivieri, L. Negrini, V. Arceri et al. · Proceedings of the 41st IEEE... · 0 citations

Open access 2026

Benchmarking Prompt Engineering Against Fine-Tuning for Multi-Label Vulnerability Detection in Solidity Smart Contracts: An Empirical Study

This paper evaluates five prompt engineering strategies across five state-of-the-art open-source LLMs, and compares them against the same models fine-tuned with QLoRA on a standardized multi-label dataset of real-world Ethereum contracts to provide actionable guidance for researchers and practitioners designing LLM-bas...

Badaruddin Chachar, J. Ferreira, M. Cavazza et al. · IEEE Access · 0 citations

Jul 2026

A Modular Framework for Stack-Heap and Value Abstractions (Extended Version)

A generic memory framework to handle stack and heap memory during the analysis is proposed and formalized, able to support various behaviors from different programming languages while remaining parametric, allowing different memory and value analyses to be independently chosen and combined.

Giacomo Boldini, L. Negrini, Luca Olivieri et al. · arXiv.org · 0 citations