survey 
Papers (34)
| # | Title | |
| 1. | SoK: Research perspectives and challenges for bitcoin and cryptocurrencies Bonneau, Joseph and Miller, Andrew and Clark, Jeremy and Narayanan, Arvind and Kroll, Joshua A. and Felten, Edward W.. 2015 | |
| 2. | Bitter to better - How to make bitcoin a better currency Barber, Simon and Boyen, Xavier and Shi, Elaine and Uzun, Ersin. 2012 | |
| 3. | A survey on the security of blockchain systems Li, Xiaoqi and Jiang, Peng and Chen, Ting and Luo, Xiapu and Wen, Qiaoyan. 2017 | |
| 4. | A survey on security and privacy issues of bitcoin Conti, Mauro and Kumar, E Sandeep and Lal, Chhagan and Ruj, Sushmita. 2018 | |
| 5. | A taxonomy of blockchain-based systems for architecture design Xu, Xiwei and Weber, Ingo and Staples, Mark and Zhu, Liming and Bosch, Jan and Bass, Len and Pautasso, Cesare and Rimba, Paul. 2017 | |
| 6. | Consensus in the age of blockchains Bano, Shehar and Sonnino, Alberto and Al-Bassam, Mustafa and Azouvi, Sarah and McCorry, Patrick and Meiklejohn, Sarah and Danezis, George. 2017 | |
| 7. | Taxonomy of blockchain technologies. Principles of identification and classification Tasca, Paolo and Tessone, Claudio J. 2017 | |
| 8. | SoK: Off The Chain Transactions Gudgeon, Lewis and McCorry, Patrick and Moreno-Sanchez, Pedro and Gervais, Arthur and Roos, Stefanie. 2019 | |
| 9. | Sok: A consensus taxonomy in the blockchain era Garay, Juan and Kiayias, Aggelos. 2018 | |
| 10. | SoK: unraveling Bitcoin smart contracts Nicola Atzei and Massimo Bartoletti and Tiziana Cimoli and Stefano Lande and Roberto Zunino. 2018 | |
| 11. | Towards safer smart contracts: A survey of languages and verification methods Harz, Dominik and Knottenbelt, William. 2018 | |
| 12. | A survey of tools for analyzing ethereum smart contracts Di Angelo, Monika and Salzer, Gernot. 2019 | |
| 13. | Agreement with Satoshi – On the Formalization of Nakamoto Consensus Nicholas Stifter and Aljosha Judmayer and Philipp Schindler and Alexei Zamyatin and Edgar Weippl. 2018 | |
| 14. | Privacy-preserving solutions for Blockchain: review and challenges Bernabe, Jorge Bernal and Canovas, Jose L and Hernandez-Ramos, Jose L and Moreno, Rafael Torres and Skarmeta, Antonio. 2019 | |
| 15. | Interledger Approaches Siris, Vasilios A and Nikander, Pekka and Voulgaris, Spyros and Fotiou, Nikos and Lagutin, Dmitrij and Polyzos, George C. 2019 | |
| 16. | SoK: Communication Across Distributed Ledgers Alexei Zamyatin and Mustafa Al-Bassam and Dionysis Zindros and Eleftherios Kokoris-Kogias and Pedro Moreno-Sanchez and Aggelos Kiayias and William J. Knottenbelt. 2019 | |
| 17. | SoK of Used Cryptography in Blockchain Raikwar, Mayank and Gligoroski, Danilo and Kralevska, Katina. 2019 | |
| 18. | Off-chaining models and approaches to off-chain computations Eberhardt, Jacob and Heiss, Jonathan. 2018 | |
| 19. | SoK: Sharding on Blockchain Gang Wang and Zhijie Jerry Shi and Mark Nixon and Song Han. 2019 | |
| 20. | SoK: Tools for Game Theoretic Models of Security for Cryptocurrencies Azouvi, Sarah and Hicks, Alexander. 2019 | |
| 21. | SoK: A Taxonomy for Layer-2 ScalabilityRelated Protocols for Cryptocurrencies Maxim Jourenko and Kanta Kurazumi and Mario Larangeira and Keisuke Tanaka. 2019 | |
| 22. | A survey on zero knowledge range proofs and applications Morais, Eduardo and Koens, Tommy and van Wijk, Cees and Koren, Aleksei. 2019 | |
| 23. | Towards atomic cross-chain token transfers: State of the art and open questions within tast Borkowski, Michael and McDonald, Daniel and Ritzer, Christoph and Schulte, Stefan. 2018 | |
| 24. | What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)? Groce, Alex and Feist, Josselin and Grieco, Gustavo and Colburn, Michael. 2019 | |
| 25. | A Survey on Blockchain Interoperability: Past, Present, and Future Trends Belchior, Rafael and Vasconcelos, Andr\'e and Guerreiro, S\'ergio and Correia, Miguel. 2020 | |
| 26. | SoK: Blockchain Technology and Its Potential Use Cases Ruoti, Scott and Kaiser, Ben and Yerukhimovich, Arkady and Clark, Jeremy and Cunningham, Robert. 2019 | |
| 27. | Zendoo: a zk-SNARK Verifiable Cross-Chain Transfer Protocol Enabling Decoupled and Decentralized Sidechains Alberto Garoffolo and Dmytro Kaidalov and Roman Oliynykov. 2020 | |
| 28. | Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities Kaleem, Mudabbir and Laszka, Aron. 2020 | |
| 29. | SoK: Lifting Transformations for Simulation Extractable Subversion and Updatable SNARKs⋆ Abdolmaleki, Behzad and Ramacher, Sebastian and Slamanig, Daniel. 2020 | |
| 30. | Smart Contract modeling and verification techniques: A survey Imeri, Adnan and Agoulmine, Nazim and Khadraoui, Djamel. 2020 | |
| 31. | A Survey of Smart Contract Formal Specification and Verification Tolmach, Palina and Li, Yi and Lin, Shang-Wei and Liu, Yang and Li, Zengxiang. 2020 | |
| 32. | State of the Art in Verifiable Computation Khovratovich, Dmitry. 2018 | |
| 33. | A Comprehensive Survey on Smart Contract Construction and Execution: Paradigms, Tools and Systems Hu, Bin and Zhang, Zongyang and Liu, Jianwei and Liu, Yizhong and Yin, Jiayuan and Lu, Rongxing and Lin, Xiaodong. 2020 | |
| 34. | Smart Contract Languages: A Thorough Comparison Gramlich, Benjamin. 2020 |
Videos
–
Links
–