Author

Agostino Cortesi

3 papers indexed here

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

Quantum Computing and Static Analysis: State of the Art and Research Opportunities

Due to its fast evolution, quantum computing is increasingly becoming a software problem, one that requires particular care because of the intrinsic peculiarities of quantum programs. Static analysis for quantum programs is still in its infancy. It has produced both principled semantic techniques and practical pattern-...

Greta Dolcetti, Giulio Zizzo, V. Arceri et al. · 0 citations

Open access 2026

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

Large Language Models (LLMs) are increasingly being deployed for smart contract security, yet a fundamental question remains unresolved for practitioners: when confronted with the realistic, multi-label setting where a single contract may harbor several concurrent vulnerabilities, which deployment strategy is more effe...

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

Open access Sep 2026

A Sound Semantics Approximation of Solidity for Enhanced Vulnerability Detection

As Solidity smart contracts become central to decentralized finance and governance, the exploitation of critical vulnerabilities has repeatedly resulted in severe financial losses. Existing state-of-the-art methods that rely on symbolic execution or syntactic patterns are unable to model the language semantics accurate...

Maitri Kushwaha, Raju Halder, Agostino Cortesi · Distributed Ledger Technolog... · 0 citations