Talks

A true concurrent model of smart contracts executions

COORDINATION 2020


Renegotiation and Recursion in Bitcoin Contracts

COORDINATION 2020


Developing secure contracts with BitML

Scaling Bitcoin Workshop 2019


BitML tool demo

ESEC/FSE 2019


BitML: a calculus for Bitcoin smart contracts

ACM CCS 2018