@inproceedings{DBLP:conf/esorics/BursucK19,
  author        = {Sergiu Bursuc and Steve Kremer},
  title         = {Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification},
  booktitle     = {Computer Security - {ESORICS} 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part {I}},
  pages         = {361--382},
  year          = {2019},
  url           = {https://doi.org/10.1007/978-3-030-29959-0\_18},
  doi           = {10.1007/978-3-030-29959-0\_18},
  timestamp     = {Mon, 16 Sep 2019 19:43:37 +0200},
  biburl        = {https://dblp.org/rec/bib/conf/esorics/BursucK19},
  bibsource     = {dblp computer science bibliography, https://dblp.org}
}