Blockchain and Cryptocurrencies
Appetizers for everyone to read
- Maurice Herlihy's keynote on ‘Blockchains and the future of distributed computing‘ at PODC’17
- Morning paper: A concurrent perspective on smart contracts
- Morning paper: Making smart contracts smarter
- Morning paper: Adding concurrency to smart contracts
- ACM Queue guide: Research for Practice: Cryptocurrencies, Blockchains, and Smart Contracts; Hardware for Deep Learning
- Satoshi Nakamoto (Bitcoin)
- Bitcoin wiki
White papers and books
- Nakamoto, Satoshi (24 May 2009). "Bitcoin: A Peer-to-Peer Electronic Cash System" PDF. Archived PDF.
- Blockchain: Bitcoin, Ethereum & Blockchain: Beginners Guide to Understanding the Technology Behind Bitcoin & Cryptocurrency
- Ethereum white paper A Next-Generation Smart Contract and Decentralized Application Platform
- Ethereum yellow paper ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER; perhaps more accessible as beige paper
- Ethereum block chain illustrated
- Ethereum's language Solidity
- Cryptonote (used for anonymous crytocurrencies such as Monero) whitepaper CryptoNote v 2.0 (there is also a commented version and a review)
Research papers
Background on cryptography
- Introduction to Modern Cryptography
- Serious Cryptography: A Practical Introduction to Modern Encryption
- Einführung in die Kryptographie
- Cryptographic Hash-Function Basics: Definitions, Implications, and Separations for Preimage Resistance, Second-Preimage Resistance, and Collission Resistance
- Equihash (a hash function commonly used in recently-introduced cryptocurrencies, such as Bitcoin Private; it aims for more democratic mining by negating the advances of ASIC use): Equihash: Asymmetric proof-of-work based on the generalized birthday problem, A Note on the Security of Equihash
crypto currencies
security aspects
Ahmed Kosba, Andrew Miller, Elaine Shi, Zikai Wen, and Charalampos Papamanthou. Hawk: The blockchain model of cryptography and privacy-preserving smart contracts. In Proceedings of the 2016 IEEE Symposium on Security and Privacy, SP '16. IEEE Computer Society, 2016.
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli: A Survey of Attacks on Ethereum Smart Contracts (SoK)
- Massimo Bartoletti, Livio Pompianu: An Empirical Analysis of Smart Contracts: Platforms, Applications, and Design Patterns
- Massimo Bartoletti, Livio Pompianu: An Analysis of Bitcoin OP_RETURN Metadata
- Massimo Bartoletti, Roberto Zunino: BitML: a calculus for Bitcoin smart contracts
- Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino: SoK: unraveling Bitcoin smart contracts.
- Rami Khalil , Arthur Gervais, Revive: Rebalancing Off-Blockchain Payment Networks, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, October 30-November 03, 2017, Dallas, Texas, USA
- Loi Luu , Jason Teutsch , Raghav Kulkarni , Prateek Saxena, Demystifying Incentives in the Consensus Computer, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, October 12-16, 2015, Denver, Colorado, USA
smart contracts
- Benjamin Egelund-Müller, Martin Elsman, Fritz Henglein, Omri Ross: Automated Execution of Financial Contracts on Blockchains
- Patrick Bahr, Jost Berthold, Martin Elsman: Certified symbolic management of financial multi-party contracts
- Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor: Making Smart Contracts Smarter
verification
- Sidney Amani, Myriam Bégel, Maksym Bortin, Mark Staples: Towards verifying ethereum smart contract bytecode in Isabelle/HOL
- Karthikeyan Bhargavan , Antoine Delignat-Lavaud , Cédric Fournet , Anitha Gollamudi , Georges Gonthier , Nadim Kobeissi , Natalia Kulatova , Aseem Rastogi , Thomas Sibut-Pinote , Nikhil Swamy , Santiago Zanella-Béguelin, Formal Verification of Smart Contracts: Short Paper, Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, October 24-24, 2016, Vienna, Austria
- George Pîrlea , Ilya Sergey, Mechanising blockchain consensus, Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 08-09, 2018, Los Angeles, CA, USA