@misc{cryptoeprint:2019:443,
    author = {Sergiu Bursuc and Steve Kremer},
    title = {Contingent payments on a public ledger: models and reductions for automated verification},
    howpublished = {Cryptology ePrint Archive, Report 2019/443},
    year = {2019},
    url = {https://eprint.iacr.org/2019/443},
}