Bitcoin Covenants Unchained

von Bartoletti, Massimo
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)

Renegotiation and Recursion in Bitcoin Contracts

von Bartoletti, Massimo
Veröffentlicht in COORDINATION (22. : 2020 : Online) Coordination models and languages (2020)

A Formal Model of Algorand Smart Contracts

von Bartoletti, Massimo
Veröffentlicht in FC (Veranstaltung : 25. : 2021 : Online) Financial cryptography and data security ; Part 1 (2021)