Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2011.14165
Cited By
v1
v2
v3
v4
v5 (latest)
Verifying liquidity of recursive Bitcoin contracts
28 November 2020
Massimo Bartoletti
Stefano Lande
Maurizio Murgia
R. Zunino
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Verifying liquidity of recursive Bitcoin contracts"
3 / 3 papers shown
Title
Survey on Quality Assurance of Smart Contracts
Zhiyuan Wei
Jing Sun
Zijian Zhang
Xianhao Zhang
Xiaoxuan Yang
Liehuang Zhu
93
8
0
01 Nov 2023
DeFi composability as MEV non-interference
Massimo Bartoletti
R. Marchesin
R. Zunino
69
4
0
19 Sep 2023
Secure compilation of rich smart contracts on poor UTXO blockchains
Massimo Bartoletti
R. Marchesin
R. Zunino
LRM
36
3
0
16 May 2023
1
