Verifying liquidity of Bitcoin contracts

Massimo Bartoletti, Roberto Zunino. Verifying liquidity of Bitcoin contracts. IACR Cryptology ePrint Archive, 2018:1125, 2018. [doi]

Authors

Massimo Bartoletti

This author has not been identified. Look up 'Massimo Bartoletti' in Google

Roberto Zunino

This author has not been identified. Look up 'Roberto Zunino' in Google