75 citations · 133 across the 8 of their papers we have counts for
9 papers
LLMs as verification oracles for Solidity
Massimo Bartoletti, Enrico Lipparini, Livio Pompianu
Ensuring the correctness of smart contracts is critical, as even subtle flaws can lead to severe financial losses. While bug detection tools able to spot common vulnerability patte…
A Hybrid AI Methodology for Generating Ontologies of Research Topics from Scientific Paper Corpora
Alessia Pisu, Livio Pompianu, Francesco Osborne +3
Taxonomies and ontologies of research topics (e.g., MeSH, UMLS, CSO, NLM) play a central role in providing the primary framework through which intelligent systems can explore and i…
LIMBA: An Open-Source Framework for the Preservation and Valorization of Low-Resource Languages using Generative Models
Salvatore Mario Carta, Stefano Chessa, Giulia Contu +19
Minority languages are vital to preserving cultural heritage, yet they face growing risks of extinction due to limited digital resources and the dominance of artificial intelligenc…
Iterative Zero-Shot LLM Prompting for Knowledge Graph Construction
Salvatore Carta, Alessandro Giuliani, Leonardo Piano +3
In the current digitalization era, capturing and effectively representing knowledge is crucial in most real-world scenarios. In this context, knowledge graphs represent a potent to…
Security checklists for Ethereum smart contract development: patterns and best practices
Lodovica Marchesi, Michele Marchesi, Livio Pompianu +1
In recent years Smart Contracts and DApps are becoming increasingly important and widespread thanks to the properties of blockchain technology. In most cases DApps are business cri…
Blockchain for social good: a quantitative analysis
Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu +1
The rise of blockchain technologies has given a boost to social good projects, which are trying to exploit various characteristic features of blockchains: the quick and inexpensive…
A general framework for blockchain analytics
Massimo Bartoletti, Andrea Bracciali, Stefano Lande +1
Modern cryptocurrencies exploit decentralised blockchains to record a public and unalterable history of transactions. Besides transactions, further information is stored for differ…
An empirical analysis of smart contracts: platforms, applications, and design patterns
Massimo Bartoletti, Livio Pompianu
Smart contracts are computer programs that can be consistently executed by a network of mutually distrusting nodes, without the arbitration of a trusted authority. Because of their…
An analysis of Bitcoin OP_RETURN metadata
Massimo Bartoletti, Livio Pompianu
The Bitcoin protocol allows to save arbitrary data on the blockchain through a special instruction of the scripting language, called OP_RETURN. A growing number of protocols exploi…