5 papers
Reentrancy Detection in the Age of LLMs
Dalila Ressi, Alvise Spanò, Matteo Rizzo +2
Reentrancy remains one of the most critical classes of vulnerabilities in Ethereum smart contracts, yet widely used detection tools and datasets continue to reflect outdated patter…
Assessing Code Understanding in LLMs
Cosimo Laneve, Alvise Spanò, Dalila Ressi +2
We present an empirical evaluation of Large Language Models in code understanding associated with non-trivial, semantic-preserving program transformations such as copy propagation…
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…
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…
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…