Papers (41)

#Title
Citations
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  
1058
2.Bitter to better - How to make bitcoin a better currency Barber, Simon and Boyen, Xavier and Shi, Elaine and Uzun, Ersin. 2012
725
3.A survey on the security of blockchain systems Li, Xiaoqi and Jiang, Peng and Chen, Ting and Luo, Xiapu and Wen, Qiaoyan. 2017
704
4.A survey on security and privacy issues of bitcoin Conti, Mauro and Kumar, E Sandeep and Lal, Chhagan and Ruj, Sushmita. 2018
523
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
493
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
184
7.Taxonomy of blockchain technologies. Principles of identification and classification Tasca, Paolo and Tessone, Claudio J. 2017
135
8.SoK: Off The Chain Transactions Gudgeon, Lewis and McCorry, Patrick and Moreno-Sanchez, Pedro and Gervais, Arthur and Roos, Stefanie. 2019
86
9.Sok: A consensus taxonomy in the blockchain era Garay, Juan and Kiayias, Aggelos. 2018
72
10.A survey of tools for analyzing ethereum smart contracts Di Angelo, Monika and Salzer, Gernot. 2019
53
11.Towards safer smart contracts: A survey of languages and verification methods Harz, Dominik and Knottenbelt, William. 2018
49
12.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
47
13.SoK: unraveling Bitcoin smart contracts Nicola Atzei and Massimo Bartoletti and Tiziana Cimoli and Stefano Lande and Roberto Zunino. 2018
46
14.SoK: Sharding on Blockchain Gang Wang and Zhijie Jerry Shi and Mark Nixon and Song Han. 2019
45
15.SoK of Used Cryptography in Blockchain Raikwar, Mayank and Gligoroski, Danilo and Kralevska, Katina. 2019
37
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
37
17.Interledger Approaches Siris, Vasilios A and Nikander, Pekka and Voulgaris, Spyros and Fotiou, Nikos and Lagutin, Dmitrij and Polyzos, George C. 2019
32
18.Agreement with Satoshi – On the Formalization of Nakamoto Consensus Nicholas Stifter and Aljosha Judmayer and Philipp Schindler and Alexei Zamyatin and Edgar Weippl. 2018
30
19.Off-chaining models and approaches to off-chain computations Eberhardt, Jacob and Heiss, Jonathan. 2018
27
20.A Survey on Blockchain Interoperability: Past, Present, and Future Trends Belchior, Rafael and Vasconcelos, Andr\'e and Guerreiro, S\'ergio and Correia, Miguel. 2020
21
21.SoK: A Taxonomy for Layer-2 ScalabilityRelated Protocols for Cryptocurrencies Maxim Jourenko and Kanta Kurazumi and Mario Larangeira and Keisuke Tanaka. 2019
16
22.SoK: Tools for Game Theoretic Models of Security for Cryptocurrencies Azouvi, Sarah and Hicks, Alexander. 2019
16
23.A survey on zero knowledge range proofs and applications Morais, Eduardo and Koens, Tommy and van Wijk, Cees and Koren, Aleksei. 2019
15
24.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
14
25.Zendoo: a zk-SNARK Verifiable Cross-Chain Transfer Protocol Enabling Decoupled and Decentralized Sidechains Alberto Garoffolo and Dmytro Kaidalov and Roman Oliynykov. 2020
9
26.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
8
27.SoK: Blockchain Technology and Its Potential Use Cases Ruoti, Scott and Kaiser, Ben and Yerukhimovich, Arkady and Clark, Jeremy and Cunningham, Robert. 2019
5
28.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
5
29.Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities Kaleem, Mudabbir and Laszka, Aron. 2020
4
30.SoK: Lifting Transformations for Simulation Extractable Subversion and Updatable SNARKs⋆ Abdolmaleki, Behzad and Ramacher, Sebastian and Slamanig, Daniel. 2020
4
31.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
2
32.Non-Interactive Zero-Knowledge for Blockchain: A Survey Partala, Juha and Nguyen, Tri Hong and Pirttikangas, Susanna. 2020
2
33.Smart Contract modeling and verification techniques: A survey Imeri, Adnan and Agoulmine, Nazim and Khadraoui, Djamel. 2020
1
34.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
1
35.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
1
36.State of the Art in Verifiable Computation Khovratovich, Dmitry. 2018
0
37.Smart Contract Languages: A Thorough Comparison Gramlich, Benjamin. 2020
0
38.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
0
39.zk-SNARKs: A Gentle Introduction Nitulescu, Anca. 2019
0
40.SoK: Lending Pools in Decentralized Finance Bartoletti, Massimo and Chiang, James Hsin-yu and Lluch-Lafuente, Alberto. 2020
0
41.SoK: Auditability and Accountability in Distributed Payment Systems Panagiotis Chatzigiannis and Foteini Baldimtsi and Konstantinos Chalkias. 2021
0

Videos