@misc(doublespendingattack,
 title        = {51\% double spending attack},
 url          = {http://www.coindesk.com/51-attacks-real-threat-bitcoin/},
)
@misc(Bitcoinchart,
 title        = {Bitcoin charts},
 url          = {https://blockchain.info/charts},
)
@misc(Bitcoincoffeeshop,
 title        = {Bitcoins at coffee shop},
 url          = {http://www.coindesk.com/bitcoin-payments-make-debut-at-mexican-university/},
)
@misc(Doublespending,
 title        = {Double spending risk},
 url          = {http://www.coindesk.com/double-spending-risk-bitcoin-network-fork/},
)
@misc(hashrateAndDifficulty,
 title        = {Hashrate and difficulty},
 url          = {https://blockchain.info/stats},
)
@misc(hashrate,
 title        = {Hashrate Chart},
 url          = {https://blockchain.info/pools},
)
@inproceedings(Andrychowicz,
 author       = {Marcin Andrychowicz and Stefan Dziembowski and Daniel Malinowski and Lukasz Mazurek},
 year         = {2014},
 title        = {Modeling Bitcoin Contracts by Timed Automata},
 booktitle    = {Proceedings of FORMATS'14},
 series       = {LNCS 8711},
 publisher    = {Springer},
 pages        = {7--22},
 doi          = {10.1007/978-3-319-10512-3\_2},
)
@book(Antonopoulos:2014:MBU:2695500,
 author       = {Andreas M. Antonopoulos},
 year         = {2014},
 title        = {Mastering Bitcoin: Unlocking Digital Crypto-Currencies},
 edition      = {1st},
 publisher    = {O'Reilly Media, Inc.},
)
@techreport(Back02hashcash-,
 author       = {Adam Back},
 year         = {2002},
 title        = {Hashcash - A Denial of Service Counter-Measure},
 type         = {Technical Report},
 url          = {www.hashcash.org/papers/hashcash.pdf},
)
@misc(Bastian,
 author       = {Martijn Bastiaan},
 year         = {2015},
 title        = {Preventing the 51\%-Attack: a Stochastic Analysis of Two Phase Proof of Work in Bitcoin},
 url          = {http://referaat.cs.utwente.nl/conference/22/paper/7473/preventing-the-51-attack-a-stochastic-analysis-of-two-phase-proof-of-work-in-bitcoin.pdf.},
)
@article(DBLP:journalscorrabs,
 author       = {Jan A. Bergstra and Karl de Leeuw},
 year         = {2013},
 title        = {Questions related to Bitcoin and other Informational Money},
 journal      = {CoRR},
 volume       = {abs/1305.5956},
 url          = {http://arxiv.org/abs/1305.5956},
)
@misc(Beukema,
 author       = {W.J.B Beukema},
 year         = {2014},
 title        = {Formalising the Bitcoin protocol},
 url          = {http://referaat.cs.utwente.nl/conference/21/paper/7450/formalising-the-bitcoin-protocol.pdf},
)
@article(journals/iacr/BonneauMCNKF15,
 author       = {Joseph Bonneau and Andrew Miller and Jeremy Clark and Arvind Narayanan and Joshua A. Kroll and Edward W. Felten},
 year         = {2015},
 title        = {Research Perspectives and Challenges for Bitcoin and Cryptocurrencies.},
 journal      = {IACR Cryptology ePrint Archive},
 volume       = {2015},
 pages        = {261},
 doi          = {10.1109/SP.2015.14},
)
@article(DBLP:journals/sttt/DavidLLMP15,
 author       = {Alexandre David and Kim G. Larsen and Axel Legay and Marius Mikucionis and Danny B{\o}gsted Poulsen},
 year         = {2015},
 title        = {Uppaal {SMC} tutorial},
 journal      = {{STTT}},
 volume       = {17},
 number       = {4},
 pages        = {397--415},
 doi          = {10.1007/s10009-014-0361-y},
)
@book(herrmann2012implementation,
 author       = {M. Herrmann},
 year         = {2012},
 title        = {Implementation, Evaluation and Detection of a Doublespend-attack on Bitcoin},
 publisher    = {ETH Z{\"u}rich, Department of Computer Science},
)
@inproceedings(Karame:2012:DFP:2382196.2382292,
 author       = {Ghassan O. Karame and Elli Androulaki and Srdjan Capkun},
 year         = {2012},
 title        = {Double-spending Fast Payments in Bitcoin},
 booktitle    = {Proceedings of the 2012 ACM Conference on Computer and Communications Security},
 series       = {CCS '12},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {906--917},
 doi          = {10.1145/2382196.2382292},
)
@misc(Nakamoto,
 author       = {Satoshi Nakamoto},
 year         = {2008},
 title        = {Bitcoin: A peer-to-peer electronic cash system},
 url          = {http://bitcoin.org/bitcoin.pdf},
)
@misc(bitcoindeveloper,
 author       = {Krzysztof Okupski},
 year         = {2014},
 title        = {Bitcoin Developer Reference},
 url          = {http://enetium.com/resources/Bitcoin.pdf},
)
@misc(bitcoinattack,
 author       = {David Perry},
 year         = {2012},
 title        = {Bitcoin Attacks in Plain English},
 url          = {http://codinginmysleep.com/bitcoin-attacks-in-plain-english/},
)
@inproceedings(DBLP:journals/iacr/RonS12,
 author       = {Dorit Ron and Adi Shamir},
 year         = {2013},
 title        = {Quantitative Analysis of the Full Bitcoin Transaction Graph},
 booktitle    = {Proceedings of Financial Cryptography and Data Security (FC'13)},
 series       = {LNCS 7859},
 publisher    = {Springer},
 pages        = {6--24},
 doi          = {10.1007/978-3-642-39884-1\_2},
)