30 citations · 31 across the 2 of their papers we have counts for
2 papers
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…
cs.LO2024★ 1 cited
Towards benchmarking of Solidity verification tools
Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi +2
Formal verification of smart contracts has become a hot topic in academic and industrial research, given the growing value of assets managed by decentralized applications and the c…