Showing cs.CRShow all
2 papers · 1 filter
cs.CR2025
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…
cs.CR2025
Formal verification in Solidity and Move: insights from a comparative analysis
Massimo Bartoletti, Silvia Crafa, Enrico Lipparini
Formal verification plays a crucial role in making smart contracts safer, being able to find bugs or to guarantee their absence, as well as checking whether the business logic is c…