SoK: Unraveling Bitcoin Smart Contracts
Open Access
- 14 April 2018
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 30 references indexed in Scilit:
- A Formal Model of Bitcoin TransactionsPublished by Springer Science and Business Media LLC ,2018
- Constant-Deposit Multiparty Lotteries on BitcoinPublished by Springer Science and Business Media LLC ,2017
- A Survey of Attacks on Ethereum Smart Contracts (SoK)Lecture Notes in Computer Science, 2017
- Efficient Zero-Knowledge Contingent Payments in Cryptocurrencies Without ScriptsPublished by Springer Science and Business Media LLC ,2016
- Secure multiparty computations on BitcoinCommunications of the ACM, 2016
- 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
- Modeling Bitcoin Contracts by Timed AutomataLecture Notes in Computer Science, 2014
- How to Use Bitcoin to Design Fair ProtocolsLecture Notes in Computer Science, 2014
- A Tutorial on UppaalLecture Notes in Computer Science, 2004