FASTKITTEN: "Practical Smart Contracts on #Bitcoin" by Poulami Das, Lisa Eckey, Tommaso Frassetto, David Gens, Kristina Hostáková, Patrick Jauernig, Sebastian Faust & Ahmad-Reza Sadeghi.

https://www.usenix.org/system/files/sec19fall_das_prepub.pdf