Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts.

Cheng Shi, Kazuki Yoneyama

Browse the full INDOCRYPT paper archive.