2017
![](/assets/document.png)
Papers (124)
# | Title | |
1. | Ouroboros: A provably secure proof-of-stake blockchain protocol Kiayias, Aggelos and Russell, Alexander and David, Bernardo and Oliynykov, Roman. 2017. ![]() ![]() | |
2. | A survey of attacks on ethereum smart contracts (sok) Atzei, Nicola and Bartoletti, Massimo and Cimoli, Tiziana. 2017. ![]() ![]() | |
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. | Algorand: Scaling byzantine agreements for cryptocurrencies Gilad, Yossi and Hemo, Rotem and Micali, Silvio and Vlachos, Georgios and Zeldovich, Nickolai. 2017. ![]() ![]() | |
5. | Do you need a Blockchain? Wüst, Karl and Gervais, Arthur. 2017. | |
6. | 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. | |
7. | Blockchain consensus protocols in the wild Cachin, Christian and Vukoli\'c, Marko. 2017. | |
8. | Casper the friendly finality gadget Buterin, Vitalik and Griffith, Virgil. 2017. ![]() ![]() | |
9. | An empirical analysis of smart contracts: platforms, applications, and design patterns Bartoletti, Massimo and Pompianu, Livio. 2017. | |
10. | Hijacking bitcoin: Routing attacks on cryptocurrencies Apostolaki, Maria and Zohar, Aviv and Vanbever, Laurent. 2017. | |
11. | The blockchain folk theorem Biais, Bruno and Bisi\`ere, Christophe and Bouvard, Matthieu and Casamatta, Catherine. 2017. | |
12. | A smart contract for boardroom voting with maximum voter privacy McCorry, Patrick and Shahandashti, Siamak F and Hao, Feng. 2017. | |
13. | Plasma: Scalable Autonomous Smart Contracts Poon, Joseph and Buterin, Vitalik. 2017. ![]() ![]() | |
14. | Hybrid consensus: Efficient consensus in the permissionless model Pass, Rafael and Shi, Elaine. 2017. | |
15. | Under-optimized smart contracts devour your money Chen, Ting and Li, Xiaoqi and Luo, Xiapu and Zhang, Xiaosong. 2017. | |
16. | Taxonomy of blockchain technologies. Principles of identification and classification Tasca, Paolo and Tessone, Claudio J. 2017. | |
17. | Ligero: Lightweight sublinear arguments without a trusted setup Ames, Scott and Hazay, Carmit and Ishai, Yuval and Venkitasubramaniam, Muthuramakrishnan. 2017. ![]() ![]() | |
18. | Chainspace: A Sharded Smart Contracts Platform Al-Bassam, Mustafa and Sonnino, Alberto and Bano, Shehar and Hrycyszyn, Dave and Danezis, George. 2017. | |
19. | Defining the ethereum virtual machine for interactive theorem provers Hirai, Yoichi. 2017. ![]() ![]() | |
20. | Scalable zero knowledge via cycles of elliptic curves Ben-Sasson, Eli and Chiesa, Alessandro and Tromer, Eran and Virza, Madars. 2017. ![]() ![]() | |
21. | TumbleBit: An untrusted Bitcoin-compatible anonymous payment hub Heilman, Ethan and Alshenibr, Leen and Baldimtsi, Foteini and Scafuro, Alessandra and Goldberg, Sharon. 2017. | |
22. | RingCT 2.0: A Compact Accumulator-Based (Linkable Ring Signature) Protocol for Blockchain Cryptocurrency Monero Sun, Shi-Feng and Au, Man Ho and Liu, Joseph K and Yuen, Tsz Hon. 2017. | |
23. | Bolt: Anonymous payment channels for decentralized currencies Green, Matthew and Miers, Ian. 2017. ![]() ![]() | |
24. | Concurrency and privacy with payment-channel networks Malavolta, Giulio and Moreno-Sanchez, Pedro and Kate, Aniket and Maffei, Matteo and Ravi, Srivatsan. 2017. | |
25. | Doubly-efficient zkSNARKs without trusted setup Riad S. Wahby and Ioanna Tzialla and abhi shelat and Justin Thaler and Michael Walfish. 2017. ![]() ![]() | |
26. | Thunderella: Blockchains with Optimistic Instant Confirmation Rafael Pass and Elaine Shi. 2017. | |
27. | 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. | |
28. | Designing secure Ethereum smart contracts: A finite state machine based approach Mavridou, Anastasia and Laszka, Aron. 2017. | |
29. | Revive: Rebalancing Off-Blockchain Payment Networks Rami Khalil and Arthur Gervais. 2017. | |
30. | SCPKI: A smart contract-based PKI and identity system Al-Bassam, Mustafa. 2017. | |
31. | The Algebraic Group Model and its Applications Georg Fuchsbauer and Eike Kiltz and Julian Loss. 2017. | |
32. | Bitcoin as a Transaction Ledger: A Composable Treatment Christian Badertscher and Ueli Maurer and Daniel Tschudi and Vassilis Zikas. 2017. | |
33. | Settling Payments Fast and Private: Efficient Decentralized Routing for Path-Based Transactions Roos, Stefanie and Moreno-Sanchez, Pedro and Kate, Aniket and Goldberg, Ian. 2017. | |
34. | A traceability analysis of monero’s blockchain Kumar, Amrit and Fischer, Cl\'ement and Tople, Shruti and Saxena, Prateek. 2017. | |
35. | Snarky Signatures: Minimal Signatures of Knowledge from Simulation-Extractable SNARKs Jens Groth and Mary Maller. 2017. ![]() ![]() | |
36. | Online detection of effectively callback free objects with applications to smart contracts Grossman, Shelly and Abraham, Ittai and Golan-Gueta, Guy and Michalevsky, Yan and Rinetzky, Noam and Sagiv, Mooly and Zohar, Yoni. 2017. | |
37. | The Sleepy Model of Consensus Pass, Rafael and Shi, Elaine. 2017. | |
38. | A scalable verification solution for blockchains Teutsch, Jason and Reitwie\ssner, Christian. 2017. | |
39. | Fast secure two-party ECDSA signing Lindell, Yehuda. 2017. ![]() ![]() | |
40. | Zero-Knowledge Contingent Payments Revisited: Attacks and Payments for Services Matteo Campanelli and Rosario Gennaro and Steven Goldfeder and Luca Nizzardo. 2017. | |
41. | Scalable Multi-party Computation for zk-SNARK Parameters in the Random Beacon Model Sean Bowe and Ariel Gabizon and Ian Miers. 2017. | |
42. | P2P Mixing and Unlinkable Bitcoin Transactions. Ruffing, Tim and Moreno-Sanchez, Pedro and Kate, Aniket. 2017. | |
43. | SMART POOL : Practical Decentralized Pooled Mining Luu, Loi and Velner, Yaron and Teutsch, Jason and Saxena, Prateek. 2017. | |
44. | SilentWhispers: Enforcing security and privacy in credit networks Malavolta, Giulio and Moreno-Sanchez, Pedro and Kate, Aniket and Maffei, Matteo. 2017. | |
45. | Tesseract: Real-Time Cryptocurrency Exchange using Trusted Hardware. Bentov, Iddo and Ji, Yan and Zhang, Fan and Li, Yunqi and Zhao, Xueyuan and Breidenbach, Lorenz and Daian, Philip and Juels, Ari. 2017. | |
46. | Non-interactive proofs of proof-of-work Aggelos Kiayias and Andrew Miller and Dionysis Zindros. 2017. | |
47. | SCRAPE: Scalable Randomness Attested by Public Entities Ignacio Cascudo and Bernardo David. 2017. | |
48. | A concurrent perspective on smart contracts Sergey, Ilya and Hobor, Aquinas. 2017. | |
49. | Publish or Perish: A Backward-Compatible Defense against Selfish Mining in Bitcoin Zhang, Ren and Preneel, Bart. 2017. | |
50. | Incentivizing blockchain forks via whale transactions Liao, Kevin and Katz, Jonathan. 2017. | |
51. | Subversion-zero-knowledge SNARKs Georg Fuchsbauer. 2017. | |
52. | An Empirical Analysis of Linkability in the Monero Blockchain Andrew Miller and Malte M\"oser and Kevin Lee and Arvind Narayanan. 2017. | |
53. | Simplicity: A new language for blockchains O'Connor, Russell. 2017. | |
54. | 0x: An open protocol for decentralized exchange on the Ethereum blockchain Warren, Will and Bandeali, Amir. 2017. | |
55. | Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol Bernardo David and Peter Ga\vzi and Aggelos Kiayias and Alexander Russell. 2017. | |
56. | KEVM: A Complete Semantics of the Ethereum Virtual Machine Hildenbrandt, Everett and Saxena, Manasvi and Zhu, Xiaoran and Rodrigues, Nishant and Daian, Philip and Guth, Dwight and Rosu, Grigore. 2017. ![]() ![]() | |
57. | M{\"o}bius: Trustless Tumbling for Transaction Privacy Sarah Meiklejohn and Rebekah Mercer. 2017. | |
58. | Proof-of-personhood: Redemocratizing permissionless cryptocurrencies Borge, Maria and Kokoris-Kogias, Eleftherios and Jovanovic, Philipp and Gasser, Linus and Gailly, Nicolas and Ford, Bryan. 2017. | |
59. | Strain: A Secure Auction for Blockchains Erik-Oliver Blass and Florian Kerschbaum. 2017. | |
60. | Proofs-of-delay and randomness beacons in ethereum B\"unz, Benedikt and Goldfeder, Steven and Bonneau, Joseph. 2017. | |
61. | Escrow protocols for cryptocurrencies: How to buy physical goods using Bitcoin Goldfeder, Steven and Bonneau, Joseph and Gennaro, Rosario and Narayanan, Arvind.. 2017. | |
62. | Socially Optimal Mining Pools Ben A. Fisch and Rafael Pass and Abhi Shelat. 2017. | |
63. | Findel: Secure derivative contracts for Ethereum Biryukov, Alex and Khovratovich, Dmitry and Tikhomirov, Sergei. 2017. ![]() | |
64. | Instantaneous Decentralized Poker Iddo Bentov and Ranjit Kumaresan and Andrew Miller. 2017. ![]() ![]() | |
65. | PERUN: Virtual Payment Channels over Cryptographic Currencies Stefan Dziembowski and Lisa Eckey and Sebastian Faust and Daniel Malinowski. 2017. ![]() ![]() | |
66. | Smart contracts make bitcoin mining pools vulnerable Velner, Yaron and Teutsch, Jason and Luu, Loi. 2017. | |
67. | Obscuro: A Bitcoin Mixer using Trusted Execution Environments Muoi Tran and Loi Luu and Min Suk Kang and Iddo Bentov and Prateek Saxena. 2017. | |
68. | Lattice-based SNARGs and their application to more efficient obfuscation Boneh, Dan and Ishai, Yuval and Sahai, Amit and Wu, David J. 2017. ![]() ![]() | |
69. | Graphene: A new protocol for block propagation using set reconciliation Ozisik, A Pinar and Andresen, Gavin and Bissias, George and Houmansadr, Amir and Levine, Brian. 2017. | |
70. | Revisiting Difficulty Control for Blockchain Systems Meshkov, Dmitry and Chepurnoy, Alexander and Jansen, Marc. 2017. | |
71. | A user-centric system for verified identities on the bitcoin blockchain Augot, Daniel and Chabanne, Herv\'e and Chenevier, Thomas and George, William and Lambert, Laurent. 2017. | |
72. | Anonymous alone? measuring Bitcoin’s second-generation anonymization techniques M\"oser, Malte and B\"ohme, Rainer. 2017. | |
73. | Ethereum smart contracts: Security vulnerabilities and security tools Dika, Ardit. 2017. | |
74. | Short paper: Service-oriented sharding for blockchains Gencer, Adem Efe and van Renesse, Robbert and Sirer, Emin G\"un. 2017. | |
75. | Porosity: A decompiler for blockchain-based smart contracts bytecode Suiche, Matt. 2017. | |
76. | Decentralized anonymous micropayments Chiesa, Alessandro and Green, Matthew and Liu, Jingcheng and Miao, Peihan and Miers, Ian and Mishra, Pratyush. 2017. ![]() | |
77. | On the linkability of Zcash transactions Quesnelle, Jeffrey. 2017. | |
78. | Using level-1 homomorphic encryption to improve threshold dsa signatures for bitcoin wallet security Boneh, Dan and Gennaro, Rosario and Goldfeder, Steven. 2017. | |
79. | TwinsCoin: A Cryptocurrency via Proof-of-Work and Proof-of-Stake Chepurnoy, Alexander and Duong, Tuyet and Fan, Lei and Zhou, Hong-Sheng. 2017. | |
80. | Bancor Protocol Hertzog, Eyal and Benartzi, Guy and Benartzi, Galia. 2017. | |
81. | Interactive oracle proofs with constant rate and query complexity Ben-Sasson, Eli and Chiesa, Alessandro and Gabizon, Ariel and Riabzev, Michael and Spooner, Nicholas. 2017. | |
82. | Constant-deposit multiparty lotteries on Bitcoin Bartoletti, Massimo and Zunino, Roberto. 2017. | |
83. | Rational proofs of space-time Moran, Tal and Orlov, Ilan. 2017. | |
84. | Z-Channel: Scalable and Efficient Scheme in Zerocash Yuncong Zhang and Yu Long and Zhen Liu and Zhiqiang Liu and Dawu Gu. 2017. | |
85. | Mind your credit: Assessing the health of the ripple credit network Moreno-Sanchez, Pedro and Modi, Navin and Songhela, Raghuvir and Kate, Aniket and Fahmy, Sonia. 2017. | |
86. | A Proof-of-Stake protocol for consensus on Bitcoin subchains Bartoletti, Massimo and Lande, Stefano and Podda, Alessandro Sebastian. 2017. | |
87. | An efficient pairing-based shuffle argument Fauzi, Prastudy and Lipmaa, Helger and Siim, Janno and Zaj\kac, Micha\l. 2017. | |
88. | On the feasibility of decentralized derivatives markets Eskandari, Shayan and Clark, Jeremy and Sundaresan, Vignesh and Adham, Moe. 2017. | |
89. | Decentralized Blacklistable Anonymous Credentials with Reputation Yang, Rupeng and Au, Man Ho and Xu, Qiuliang and Yu, Zuoxia. 2017. | |
90. | Atomically Trading with Roger: Gambling on the success of a hardfork Patrick McCorry and Ethan Heilman and Andrew Miller. 2017. | |
91. | Public Accountability vs. Secret Laws: Can They Coexist?: A Cryptographic Proposal Goldwasser, Shafi and Park, Sunoo. 2017. ![]() ![]() | |
92. | Enhancing Bitcoin transactions with covenants O’Connor, Russell and Piekarska, Marta. 2017. | |
93. | Towards a Smart Contract-based, Decentralized, Public-Key Infrastructure Patsonakis, Christos and Samari, Katerina and Roussopoulos, Mema and Kiayias, Aggelos. 2017. | |
94. | Anonymous Post-Quantum Cryptocash. Zhang, Huang and Zhang, Fangguo and Tian, Haibo and Au, Man Ho. 2017. | |
95. | The Transaction Graph for Modeling Blockchain Semantics Christian Cachin and Angelo De Caro and Pedro Moreno-Sanchez and Bj\"orn Tackmann and Marko Vukoli\'c. 2017. | |
96. | How to Charge Lightning Br\^anzei, Simina and Segal-Halevi, Erel and Zohar, Aviv. 2017. | |
97. | (Short Paper) PieceWork: Generalized Outsourcing Control for Proofs of Work Philip Daian and Ittay Eyal and Ari Juels and Emin G\"un Sirer. 2017. | |
98. | Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement Bernardo David and Rafael Dowsley and Mario Larangeira. 2017. ![]() ![]() | |
99. | On the Necessity of a Prescribed Block Validity Consensus: Analyzing Bitcoin Unlimited Mining Protocol Ren Zhang and Bart Preneel. 2017. | |
100. | Beigepaper: An Ethereum Technical Specification Dameron, Micah. 2017. | |
101. | A Subversion-Resistant SNARK Behzad Abdolmaleki and Karim Baghery and Helger Lipmaa and Michal Zajac. 2017. ![]() ![]() | |
102. | Proofs of Work for Blockchain Protocols Garay, Juan A and Kiayias, Aggelos and Panagiotakos, Giorgos. 2017. | |
103. | Switch Commitments: A Safety Switch for Confidential Transactions Ruffing, Tim and Malavolta, Giulio. 2017. | |
104. | Time-Memory Tradeoff Attacks on the MTP Proof-of-Work Scheme Itai Dinur and Niv Nadler. 2017. | |
105. | Load Thresholds for Cuckoo Hashing with Overlapping Blocks Walzer, S.. 2017. | |
106. | Managing Secrets with Consensus Networks: Fairness, Ransomware and Access Control. Kaptchuk, Gabriel and Miers, Ian and Green, Matthew. 2017. | |
107. | Efficient Algorithms for Broadcast and Consensus Based on Proofs of Work Lisa Eckey and Sebastian Faust and Julian Loss. 2017. | |
108. | On decentralized oracles for data availability Teutsch, Jason. 2017. | |
109. | ChainLink:A Decentralized Oracle Network Ellis ,Steve and Juels , Ari and Nazarov, Sergey. 2017. | |
110. | Chainlink: A decentralized oracle network Ellis, Steve and Juels, Ari and Nazarov, Sergey. 2017. | |
111. | ON DEPLOYING SUCCINCT ZERO-KNOWLEDGE PROOFS Madars Virza. 2017. | |
112. | Incentives in casper the friendly finality gadget Buterin, Vitalik. 2017. | |
113. | Randao: Verifiable random number generation Qian, Youcai. 2017. | |
114. | On Space-Scarce Economy In Blockchain Systems Alexander Chepurnoy and Dmitry Meshkov. 2017. | |
115. | Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems Girault, Alain and G\"ossler, Gregor and Guerraoui, Rachid and Hamza, Jad and Seredinschi, Dragos-Adrian. 2017. | |
116. | Sharding PoW-based Blockchains via Proofs of Knowledge Frederik Armknecht and Jens-Matthias Bohli and Ghassan O. Karame and Wenting Li. 2017. | |
117. | Obsidian: a safer blockchain programming language Coblenz, Michael. 2017. | |
118. | A Non Outsourceable Puzzle under GHOST Rule Zeng, Gongxian and Yiu, Siu Ming and Zhang, Jun and Kuzuno, Hiroki and Au, Man Ho. 2017. | |
119. | Forkable Strings are Rare. Russell, Alexander and Moore, Cristopher and Kiayias, Aggelos and Quader, Saad. 2017. | |
120. | Mixing Confidential Transactions: Comprehensive Transaction Privacy for Bitcoin. Ruffing, Tim and Moreno-Sanchez, Pedro. 2017. | |
121. | Pathshuffle: Mixing credit paths for anonymous transactions in ripple Moreno-Sanchez, Pedro and Ruffing, Tim and Kate, Aniket. 2017. | |
122. | Bulletproofs: Efficient range proofs for confidential transactions B\"unz, Benedikt and Bootle, Jonathan and Boneh, Dan and Poelstra, Andrew and Wuille, Pieter and Maxwell, Greg. 2017. | |
123. | Casper the friendly ghost: A correct by construction blockchain consensus protocol Zamfir, Vlad. 2017. | |
124. | The Maker Protocol:MakerDAO’s Multi-Collateral Dai(MCD) System Makerdao. 2017. |
Videos
–
Links
–