v1v2v3v4v5 (latest)

Verifying liquidity of recursive Bitcoin contracts

28 November 2020

Papers citing "Verifying liquidity of recursive Bitcoin contracts"

3 / 3 papers shown

Title
Bitcoin covenants unchained Massimo Bartoletti Stefano Lande R. Zunino 17 12 0 06 Jun 2020
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 68 924 0 04 Jun 2018
Zero-Collateral Lotteries in Bitcoin and Ethereum Andrew K. Miller Iddo Bentov 111 58 0 16 Dec 2016