BitML: A Calculus for Bitcoin Smart Contracts

Massimo Bartoletti, Roberto Zunino. BitML: A Calculus for Bitcoin Smart Contracts. In David Lie, Mohammad Mannan, Michael Backes 0001, Xiaofeng Wang 0001, editors, Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018. pages 83-100, ACM, 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