10.1007_978-3-319-63688-7_11.bib

@inproceedings{10.1007/978-3-319-63688-7_11,
  author    = {Badertscher, Christian
               and Maurer, Ueli
               and Tschudi, Daniel
               and Zikas, Vassilis},
  editor    = {Katz, Jonathan
               and Shacham, Hovav},
  title     = {Bitcoin as a Transaction Ledger: A Composable Treatment},
  booktitle = {Advances in Cryptology -- CRYPTO 2017},
  year      = {2017},
  publisher = {Springer International Publishing},
  address   = {Cham},
  pages     = {324--356},
  abstract  = {Bitcoin is one of the most prominent examples of a distributed cryptographic protocol that is extensively used in reality. Nonetheless, existing security proofs are property-based, and as such they do not support composition.},
  isbn      = {978-3-319-63688-7}
}