Papers (60)

1.A survey on the security of blockchain systems Li, Xiaoqi and Jiang, Peng and Chen, Ting and Luo, Xiapu and Wen, Qiaoyan. 2017.
2.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.   
3.A survey on security and privacy issues of bitcoin Conti, Mauro and Kumar, E Sandeep and Lal, Chhagan and Ruj, Sushmita. 2018.
4.Bitter to better - How to make bitcoin a better currency Barber, Simon and Boyen, Xavier and Shi, Elaine and Uzun, Ersin. 2012.
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.Security and privacy on blockchain Zhang, Rui and Xue, Rui and Liu, Ling. 2019.
7.Taxonomy of blockchain technologies. Principles of identification and classification Tasca, Paolo and Tessone, Claudio J. 2017.
8.A Survey on Blockchain Interoperability: Past, Present, and Future Trends Belchior, Rafael and Vasconcelos, Andr\'e and Guerreiro, S\'ergio and Correia, Miguel. 2020.
9.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.
10.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.
11.SoK: Sharding on Blockchain Gang Wang and Zhijie Jerry Shi and Mark Nixon and Song Han. 2019.
12.SoK: Decentralized Finance (DeFi) Sam M. Werner and Daniel Perez and Lewis Gudgeon and Ariah Klages-Mundt and Dominik Harz and William J. Knottenbelt. 2021.
13.SoK: Layer-two blockchain protocols Gudgeon, Lewis and Moreno-Sanchez, Pedro and Roos, Stefanie and McCorry, Patrick and Gervais, Arthur. 2020.
14.Scaling blockchains: A comprehensive survey Hafid, Abdelatif and Hafid, Abdelhakim Senhaji and Samih, Mustapha. 2020.
15.A survey of tools for analyzing ethereum smart contracts Di Angelo, Monika and Salzer, Gernot. 2019.
16.SoK of Used Cryptography in Blockchain Raikwar, Mayank and Gligoroski, Danilo and Kralevska, Katina. 2019.
17.Sok: A consensus taxonomy in the blockchain era Garay, Juan and Kiayias, Aggelos. 2018.
18.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.
19.SoK: Off The Chain Transactions Gudgeon, Lewis and McCorry, Patrick and Moreno-Sanchez, Pedro and Gervais, Arthur and Roos, Stefanie. 2019.
20.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.
21.Towards safer smart contracts: A survey of languages and verification methods Harz, Dominik and Knottenbelt, William. 2018.
22.SoK: unraveling Bitcoin smart contracts Nicola Atzei and Massimo Bartoletti and Tiziana Cimoli and Stefano Lande and Roberto Zunino. 2018.
23.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.
24.Interledger Approaches Siris, Vasilios A and Nikander, Pekka and Voulgaris, Spyros and Fotiou, Nikos and Lagutin, Dmitrij and Polyzos, George C. 2019.
25.A survey on zero knowledge range proofs and applications Morais, Eduardo and Koens, Tommy and van Wijk, Cees and Koren, Aleksei. 2019.
26.Survey on blockchain networking: Context, state-of-the-art, challenges Dotan, Maya and Pignolet, Yvonne-Anne and Schmid, Stefan and Tochner, Saar and Zohar, Aviv. 2021.
27.SoK: Lending Pools in Decentralized Finance Bartoletti, Massimo and Chiang, James Hsin-yu and Lluch-Lafuente, Alberto. 2020.
28.SoK: A Taxonomy for Layer-2 Scalability Related Protocols for Cryptocurrencies Maxim Jourenko and Kanta Kurazumi and Mario Larangeira and Keisuke Tanaka. 2019.
29.Non-Interactive Zero-Knowledge for Blockchain: A Survey Partala, Juha and Nguyen, Tri Hong and Pirttikangas, Susanna. 2020.
30.SoK: Yield Aggregators in DeFi Cousaert, Simon and Xu, Jiahua and Matsui, Toshiko. 2021.
31.Agreement with Satoshi – On the Formalization of Nakamoto Consensus Nicholas Stifter and Aljosha Judmayer and Philipp Schindler and Alexei Zamyatin and Edgar Weippl. 2018.
32.SoK: Tools for Game Theoretic Models of Security for Cryptocurrencies Azouvi, Sarah and Hicks, Alexander. 2019.
33.Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities Kaleem, Mudabbir and Laszka, Aron. 2020.
34.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.
35.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.
36.Privacy and cryptocurrencies—A systematic literature review Herskind, Lasse and Katsikouli, Panagiota and Dragoni, Nicola. 2020.
37.SoK: MEV Countermeasures: Theory and Practice Sen Yang and Fan Zhang and Ken Huang and Xi Chen and Youwei Yang and Feng Zhu. 2022.
38.Smart Contract modeling and verification techniques: A survey Imeri, Adnan and Agoulmine, Nazim and Khadraoui, Djamel. 2020.
39.SoK: Blockchain Technology and Its Potential Use Cases Ruoti, Scott and Kaiser, Ben and Yerukhimovich, Arkady and Clark, Jeremy and Cunningham, Robert. 2019.
40.SoK: Auditability and Accountability in Distributed Payment Systems Panagiotis Chatzigiannis and Foteini Baldimtsi and Konstantinos Chalkias. 2021.
41.SoK: Privacy-Preserving Computing in the Blockchain Era Ghada Almashaqbeh and Ravital Solomon. 2021.
42.Verifiable computing applications in blockchain \vSimuni\'c, Silvio and Bernaca, Dalen and Lenac, Kristijan. 2021.
43.SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks Sung-Shine Lee and Alexandr Murashkin and Martin Derka and Jan Gorzny. 2022.
44.zk-SNARKs: A Gentle Introduction Nitulescu, Anca. 2019.
45.The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts Schneidewind, Clara and Scherer, Markus and Maffei, Matteo. 2020.
46.SoK: Decentralized Randomness Beacon Protocols Raikwar, Mayank and Gligoroski, Danilo. 2022.
47.A Review of zk-SNARKs Chen, Thomas and Lu, Hui and Kunpittaya, Teeramet and Luo, Alan. 2022.
48.SoK: Lifting Transformations for Simulation Extractable Subversion and Updatable SNARKs⋆ Abdolmaleki, Behzad and Ramacher, Sebastian and Slamanig, Daniel. 2020.
49.Smart Contract Languages: A Thorough Comparison Gramlich, Benjamin. 2020.
50.SoK: Play-to-Earn Projects Yu, Jingfan and Zhang, Mengqian and Chen, Xi and Fang, Zhixuan. 2022.
51.Scaling Blockchains with Error Correction Codes: A Survey on Coded Blockchains Yang, Changlin and Chin, Kwan-Wu and Wang, Jiguang and Wang, Xiaodong and Liu, Ying and Zheng, Zibin. 2022.
52.SoK: Vector Commitments Nitulescu, Anca. 2021.
53.Decentralized Finance (DeFi): A Survey Erya Jiang and Bo Qin and Qin Wang and Zhipeng Wang and Qianhong Wu and Jian Weng and Xinyu Li and Chenyang Wang and Yuhang Ding and Yanran Zhang. 2023.
54.SoK: Cyber-Attack Taxonomy of Distributed Ledger- and Legacy Systems-based Financial Infrastructures Ralph Ankele and Kai Nahrgang and Branka Stojanovic and Atta Badii. 2020.
55.SoK: Cross-Domain MEV Conor McMenamin. 2023.
56.State of the Art in Verifiable Computation Khovratovich, Dmitry. 2018.
57.Off-chaining models and approaches to off-chain computations Eberhardt, Jacob and Heiss, Jonathan. 2018.
58.A Survey of Secure Computation Using Trusted Execution Environments Li, Xiaoguo and Zhao, Bowen and Yang, Guomin and Xiang, Tao and Weng, Jian and Deng, Robert H.. 2023.
59.State Machine Replication and Consensus with Byzantine Adversaries Davidson, Michael. 2023.
60.State of the Art Report: Verified Computation Woodcock, Jim and Andersen, Mikkel Schimdt and Aranha, Diego F and Hallerstede, Stefan and Hansen, Simon Thrane and Jakobsen, Nikolaj Kuhne and Kulik, Tomas and Larsen, Peter Gorm and Macedo, Hugo Daniel and Martin, Carlos Ignacio Isasa and others. 2023.