30 citations · 47 across the 5 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.CR2024★ 17 cited
Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis
Dalila Ressi, Alvise Spanò, Lorenzo Benetollo +3
Smart contracts are central to a myriad of critical blockchain applications, from financial transactions to supply chain management. However, their adoption is hindered by security…
cs.PL2024
Flexible and Reversible Conversion between Extensible Records and Overloading Constraints for ML
Alvise Spanò
Most ML-like functional languages provide records and overloading as unrelated features. Records not only represent data structures, but are also used to implement dictionary passi…
cs.CR2024★ 30 cited
Smart Contract Languages: a comparative analysis
Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi +11
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 con…