International Association
for Cryptologic Research

@inproceedings{crypto-2017-28205,
  title={Bitcoin as a Transaction Ledger: A Composable Treatment},
  booktitle={CRYPTO},
  publisher={Springer},
  pages={324-356},
  doi={10.1007/978-3-319-63688-7_11},
  author={Christian Badertscher and Ueli Maurer and Daniel Tschudi and Vassilis Zikas},
  year=2017
}