A Formal Model of Bitcoin Transactions
- 7 December 2018
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- SoK: Unraveling Bitcoin Smart ContractsPublished by Springer Science and Business Media LLC ,2018
- Constant-Deposit Multiparty Lotteries on BitcoinPublished by Springer Science and Business Media LLC ,2017
- Zero-Collateral Lotteries in Bitcoin and EthereumPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2017
- Efficient Zero-Knowledge Contingent Payments in Cryptocurrencies Without ScriptsPublished by Springer Science and Business Media LLC ,2016
- How to Use Bitcoin to Play Decentralized PokerPublished by Association for Computing Machinery (ACM) ,2015
- SoK: Research Perspectives and Challenges for Bitcoin and CryptocurrenciesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2015
- How to Use Bitcoin to Incentivize Correct ComputationsPublished by Association for Computing Machinery (ACM) ,2014
- Fair Two-Party Computations via Bitcoin DepositsLecture Notes in Computer Science, 2014
- Secure Multiparty Computations on BitcoinPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2014
- How to Use Bitcoin to Design Fair ProtocolsLecture Notes in Computer Science, 2014