[HTML][HTML] Smart contract languages: A comparative analysis

M Bartoletti, L Benetollo, M Bugliesi, S Crafa… - Future Generation …, 2025 - Elsevier
Smart contracts have played a pivotal role in the evolution of blockchains and Decentralized
Applications (DApps). As DApps continue to gain widespread adoption, multiple smart …

Software verification challenges in the blockchain ecosystem

L Olivieri, F Spoto - International Journal on Software Tools for Technology …, 2024 - Springer
Blockchain technology has created a new software development context, with its own
peculiarities, mainly due to the guarantees that the technology must satisfy, that is …

General-purpose Languages for Blockchain Smart Contracts Development: A Comprenhensive Study

L Olivieri, V Arceri, B Chachar, L Negrini… - IEEE …, 2024 - ieeexplore.ieee.org
Smart contracts are undoubtedly one of the most successful and popular applications of the
blockchain industry. They consist of computer programs that are stored in blockchain …

[PDF][PDF] European union data act and blockchain technology: Challenges and new directions

L Olivieri, L Pasetto, L Negrini… - CEUR Workshop …, 2024 - researchgate.net
Abstract The European Union Data Act has been in force since 11 January 2024 to regulate
the access and use of data and promote a more fair data sharing within the European …

Detection of Phantom Reads in Hyperledger Fabric

L Olivieri, L Negrini, V Arceri, B Chachar… - IEEE …, 2024 - ieeexplore.ieee.org
In concurrent transactional systems, a phantom read occurs when a transaction retrieves a
set of data, and simultaneously, new data is inserted, updated, or removed from that set by …