Zunino, Roberto

1. Smart Contract Languages: a comparative analysis
   2024/04/05 by Bartoletti, Massimo, Benetollo, Lorenzo, Bugliesi, Michele +11 · 2 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL)
2. A formal model of Algorand smart contracts
   2020/09/25 by Bartoletti, Massimo, Bracciali, Andrea, Lepore, Cristian +2 · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
3. A theoretical basis for MEV
   2023/02/04 by Bartoletti, Massimo, Zunino, Roberto · 2 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences