Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2009.12140
Cited By
v1
v2
v3 (latest)
A formal model of Algorand smart contracts
25 September 2020
Massimo Bartoletti
A. Bracciali
Cristian Lepore
A. Scalas
R. Zunino
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"A formal model of Algorand smart contracts"
4 / 4 papers shown
Title
Smart Contract Languages: a comparative analysis
Massimo Bartoletti
Lorenzo Benetollo
M. Bugliesi
Silvia Crafa
Giacomo Dal Sasso
...
Stefano Salis
Alvise Spanò
Viacheslav Tkachenko
Roberto Tonelli
R. Zunino
ELM
82
9
0
05 Apr 2024
Pre-deployment Analysis of Smart Contracts -- A Survey
Sundas Munir
Walid M. Taha
81
13
0
15 Jan 2023
SoK: Lending Pools in Decentralized Finance
Massimo Bartoletti
J. Chiang
Alberto Lluch-Lafuente
70
65
0
24 Dec 2020
Verifying liquidity of recursive Bitcoin contracts
Massimo Bartoletti
Stefano Lande
Maurizio Murgia
R. Zunino
40
8
0
28 Nov 2020
1
