consensus 
Papers (175)
| # | Title | |
| 1. | Bitcoin: A Peer-to-Peer Electronic Cash System Nakamoto, Satoshi. 2008 | |
| 2. | A next-generation smart contract and decentralized application platform Buterin, Vitalik. 2014 | |
| 3. | Majority is not enough: Bitcoin mining is vulnerable Eyal, Ittay and Gün Sirer, Emin. 2014 | |
| 4. | Hyperledger fabric: a distributed operating system for permissioned blockchains Androulaki, Elli and Barger, Artem and Bortnikov, Vita and Cachin, Christian and Christidis, Konstantinos and De Caro, Angelo and Enyeart, David and Ferris, Christopher and Laventman, Gennady and Manevich, Yacov and Muralidharan, Srinivasan and Murthy, Chet and Nguyen, Binh and Sethi, Manish and Singh, Gari and Smith, Keith and Sorniotti, Alessandro and Stathakopoulou, Chrysoula and Vukolić, Marko and Weed Cocco, Sharon and Yellick, Jason. 2018 | |
| 5. | Bitcoin-NG: A Scalable Blockchain Protocol Eyal, Ittay and Gencer, Adem Efe and Sirer, Emin Gün and van Renesse, Robbert. 2016 | |
| 6. | The Bitcoin Backbone Protocol : Analysis and Applications Garay, Juan A and Kiayias, Aggelos and Leonardos, Nikos. 2014 | |
| 7. | On the security and performance of proof of work blockchains Gervais, Arthur and Karame, Ghassan O and W\"ust, Karl and Glykantzis, Vasileios and Ritzdorf, Hubert and Capkun, Srdjan. 2016 | |
| 8. | The quest for scalable blockchain fabric: Proof-of-work vs. BFT replication Vukolić, Marko. 2015 | |
| 9. | Hashcash - A Denial of Service Counter-Measure Back, Adam. 2002 | |
| 10. | Analysis of the Blockchain Protocol in Asynchronous Networks Pass, Rafael and Seeman, Lior and abhi Shelat. 2016 | |
| 11. | The Ripple protocol consensus algorithm Schwartz, D and Youngs, N and Britto, A. 2014 | |
| 12. | Optimal Selfish Mining Strategies in Bitcoin Sapirshtein, Ayelet and Sompolinsky, Yonatan and Zohar, Aviv. 2015 | |
| 13. | Blockchain consensus protocols in the wild Cachin, Christian and Vukoli\'c, Marko. 2017 | |
| 14. | The honey badger of BFT protocols Miller, Andrew and Xia, Yu and Croman, Kyle and Shi, Elaine and Song, Dawn. 2016 | |
| 15. | The Miner's Dilemma Eyal, Ittay. 2014 | |
| 16. | Casper the friendly finality gadget Buterin, Vitalik and Griffith, Virgil. 2017 | |
| 17. | The stellar consensus protocol: A federated model for internet-level consensus Mazieres, David. 2015 | |
| 18. | Inclusive block chain protocols Lewenberg, Yoad and Sompolinsky, Yonatan and Zohar, Aviv. 2015 | |
| 19. | Hybrid consensus: Efficient consensus in the permissionless model Pass, Rafael and Shi, Elaine. 2017 | |
| 20. | Tendermint: Byzantine fault tolerance in the age of blockchains Buchman, Ethan. 2016 | |
| 21. | Fruitchains: A fair blockchain Pass, Rafael and Shi, Elaine. 2016 | |
| 22. | Accelerating Bitcoin's Transaction Processing. Fast Money Grows on Trees, Not Chains Sompolinsky, Yonatan and Zohar, A. 2013 | |
| 23. | Hotstuff: Bft consensus with linearity and responsiveness Yin, Maofan and Malkhi, Dahlia and Reiter, Michael K and Gueta, Guy Golan and Abraham, Ittai. 2019 | |
| 24. | 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 | |
| 25. | Demystifying incentives in the consensus computer Luu, Loi and Teutsch, Jason and Kulkarni, Raghav and Saxena, Prateek. 2015 | |
| 26. | Verifiable Delay Functions Dan Boneh, Joseph Bonneau, Benedikt Bünz, Ben Fisch. 2018 | |
| 27. | The Bitcoin Backbone Protocol with Chains of Variable Difficulty Juan A. Garay and Aggelos Kiayias and Nikos Leonardos. 2016 | |
| 28. | Thunderella: Blockchains with Optimistic Instant Confirmation Rafael Pass and Elaine Shi. 2017 | |
| 29. | Speed-Security Tradeoffs in Blockchain Protocols Kiayias, Aggelos and Panagiotakos, Giorgos. 2015 | |
| 30. | DFINITY Technology Overview Series, Consensus System Hanke, Timo and Movahedi, Mahnush and Williams, Dominic. 2018 | |
| 31. | Anonymous Byzantine Consensus from Moderately-Hard Puzzles: A Model for Bitcoin Miller, Andrew and Jr, Jj LaViola. 2014 | |
| 32. | PHANTOM: A Scalable BlockDAG Protocol Yonatan Sompolinsky and Aviv Zohar. 2018 | |
| 33. | On Trees, Chains and Fast Transactions in the Blockchain Kiayias, Aggelos and Panagiotakos, Giorgos. 2016 | |
| 34. | Scp: A computationally-scalable byzantine consensus protocol for blockchains Luu, Loi and Narayanan, Viswesh and Baweja, Kunal and Zheng, Chaodong and Gilbert, Seth and Saxena, Prateek. 2015 | |
| 35. | Stake-Bleeding Attacks on Proof-of-Stake Blockchains Peter Gaži and Aggelos Kiayias and Alexander Russell. 2018 | |
| 36. | Hotstuff: Bft consensus in the lens of blockchain Yin, Maofan and Malkhi, Dahlia and Reiter, Michael K and Gueta, Guy Golan and Abraham, Ittai. 2018 | |
| 37. | Sok: A consensus taxonomy in the blockchain era Garay, Juan and Kiayias, Aggelos. 2018 | |
| 38. | Publish or Perish: A Backward-Compatible Defense against Selfish Mining in Bitcoin Zhang, Ren and Preneel, Bart. 2017 | |
| 39. | Algorand Chen, Jing and Micali, Silvio. 2016 | |
| 40. | Analysis of the XRP ledger consensus protocol Chase, Brad and MacBrough, Ethan. 2018 | |
| 41. | A Better Method to Analyze Blockchain Consistency Kiffer, Lucianna and Rajaraman, Rajmohan and others. 2018 | |
| 42. | Rethinking Large-Scale Consensus Rafael Pass and Elaine Shi. 2018 | |
| 43. | When cryptocurrencies mine their own business Teutsch, Jason and Jain, Sanjay and Saxena, Prateek. 2016 | |
| 44. | Mechanising Blockchain Consensus P\^\irlea, George and Sergey, Ilya. 2018 | |
| 45. | On The Longest Chain Rule and Programmed Self-Destruction of Crypto Currencies Courtois, Nicolas T. 2014 | |
| 46. | Hot-stuff the linear, optimal-resilience, one-message BFT devil Abraham, Ittai and Gueta, Guy and Malkhi, Dahlia. 2018 | |
| 47. | Revisiting Difficulty Control for Blockchain Systems Meshkov, Dmitry and Chepurnoy, Alexander and Jansen, Marc. 2017 | |
| 48. | 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 | |
| 49. | Sync hotstuff: Simple and practical synchronous state machine replication Abraham, Ittai and Malkhi, Dahlia and Nayak, Kartik and Ren, Ling and Yin, Maofan. 2020 | |
| 50. | Incentives in Ethereum's Hybrid Casper Protocol Buterin, Vitalik and Reijsbergen, Daniel and Leonardos, Stefanos and Piliouras, Georgios. 2019 | |
| 51. | Communication complexity of byzantine agreement, revisited Abraham, Ittai and Chan, TH and Dolev, Danny and Nayak, Kartik and Pass, Rafael and Ren, Ling and Shi, Elaine. 2018 | |
| 52. | State Machine Replication in the Libra Blockchain Baudet, Mathieu and Ching, Avery and Chursin, Andrey and Danezis, George and Garillot, Fran\ccois and Li, Zekun and Malkhi, Dahlia and Naor, Oded and Perelman, Dmitri and Sonnino, Alberto. 2019 | |
| 53. | Lay down the common metrics: Evaluating proof-of-work consensus protocols’ security Zhang, Ren and Preneel, Bart. 2019 | |
| 54. | Redactable blockchain in the permissionless setting Deuber, Dominic and Magri, Bernardo and Thyagarajan, Sri Aravinda Krishnan. 2019 | |
| 55. | PaLa: A Simple Partially Synchronous Blockchain Chan, TH Hubert and Pass, Rafael and Shi, Elaine. 2018 | |
| 56. | Agreement with Satoshi – On the Formalization of Nakamoto Consensus Nicholas Stifter and Aljosha Judmayer and Philipp Schindler and Alexei Zamyatin and Edgar Weippl. 2018 | |
| 57. | Why buy when you can rent? bribery attacks on bitcoin consensus Bonneau, Joseph and Felten, Edward W and Goldfeder, Steven and Kroll, Joshua A and Narayanan, Arvind. 2016 | |
| 58. | Blockchain-Free Cryptocurrencies: A Framework for Truly Decentralised Fast Transactions Boyen, Xavier and Carr, Christopher and Haines, Thomas. 2016 | |
| 59. | SPECTRE: Serialization of Proof-of-work Events: Confirming Transactions via Recursive Elections Sompolinsky, Yonatan and Lewenberg, Yoad and Zohar, Aviv. 2016 | |
| 60. | Bootstrapping the Blockchain, with Applications to Consensus and Fast PKI Setup Garay, Juan A and Kiayias, Aggelos and Leonardos, Nikos and Panagiotakos, Giorgos. 2018 | |
| 61. | Analysis of Nakamoto Consensus Ling Ren. 2019 | |
| 62. | Synchronous, with a Chance of Partition Tolerance. Guo, Yue and Pass, Rafael and Shi, Elaine. 2019 | |
| 63. | Streamlet: Textbook Streamlined Blockchains Benjamin Y Chan and Elaine Shi. 2020 | |
| 64. | Pay-To-Win: Incentive Attacks on Proof-of-Work Cryptocurrencies Aljosha Judmayer and Nicholas Stifter and Alexei Zamyatin and Itay Tsabary and Ittay Eyal and Peter Gazi and Sarah Meiklejohn and Edgar Weippl. 2019 | |
| 65. | Casper the friendly ghost: A correct by construction blockchain consensus protocol Zamfir, Vlad. 2017 | |
| 66. | Scalable and Probabilistic Leaderless BFT Consensus through Metastability Rocket, Team and Yin, Maofan and Sekniqi, Kevin and van Renesse, Robbert and Sirer, Emin G\"un. 2019 | |
| 67. | A Scalable Proof-of-Stake Blockchain in the Open Setting Fan, Lei and Zhou, Hong-Sheng and Katz, Jonathan. 2018 | |
| 68. | On the Necessity of a Prescribed Block Validity Consensus: Analyzing Bitcoin Unlimited Mining Protocol Ren Zhang and Bart Preneel. 2017 | |
| 69. | Ouroboros-BFT: A Simple Byzantine Fault Tolerant Consensus Protocol Kiayias, Aggelos and Russell, Alexander. 2018 | |
| 70. | StrongChain: Transparent and Collaborative Proof-of-Work Consensus Szalachowski, Pawel and Reijsbergen, Dani\"el and Homoliak, Ivan and Sun, Siwei. 2019 | |
| 71. | Correctness and fairness of tendermint-core blockchains Amoussou-Guenou, Yackolley and Del Pozzo, Antonella and Potop-Butucaru, Maria and Tucci-Piergiovanni, Sara. 2018 | |
| 72. | Order-Fairness for Byzantine Consensus Mahimna Kelkar and Fan Zhang and Steven Goldfeder and Ari Juels. 2020 | |
| 73. | Betting on Blockchain Consensus with Fantomette Azouvi, Sarah and McCorry, Patrick and Meiklejohn, Sarah. 2018 | |
| 74. | Graphchain: a Blockchain-Free Scalable Decentralised Ledger Boyen, Xavier and Carr, Christopher and Haines, Thomas. 2018 | |
| 75. | Blockmania: from Block DAGs to Consensus Danezis, George and Hrycyszyn, David. 2018 | |
| 76. | Consensus through Herding Chan, TH Hubert and Pass, Rafael and Shi, Elaine. 2019 | |
| 77. | Cogsworth: Byzantine View Synchronization Naor, Oded and Baudet, Mathieu and Malkhi, Dahlia and Spiegelman, Alexander. 2019 | |
| 78. | Everything is a Race and Nakamoto Always Wins Amir Dembo and Sreeram Kannan and Ertem Nusret Tas and David Tse and Pramod Viswanath and Xuechao Wang and Ofer Zeitouni. 2020 | |
| 79. | PiLi: An Extremely Simple Synchronous Blockchain Chan, TH Hubert and Pass, Rafael and Shi, Elaine. 2018 | |
| 80. | Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake Christian Badertscher and Peter Gaži and Aggelos Kiayias and Alexander Russell and Vassilis Zikas. 2019 | |
| 81. | Replicated state machines without replicated execution Lee, Jonathan and Nikitin, Kirill and Setty, Srinath. 2020 | |
| 82. | Divide and Scale: Formalization of Distributed Ledger Sharding Protocols Avarikioti, Georgia and Kokoris-Kogias, Eleftherios and Wattenhofer, Roger. 2019 | |
| 83. | Pixel: Multi-signatures for Consensus Manu Drijvers and Sergey Gorbunov and Gregory Neven and Hoeteck Wee. 2019 | |
| 84. | Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR Naor, Oded and Keidar, Idit. 2020 | |
| 85. | Analysis of Deterministic Longest-Chain Protocols Shi, Elaine. 2018 | |
| 86. | Rationality is Self-Defeating in Permissionless Systems Ford, Bryan and B\"ohme, Rainer. 2019 | |
| 87. | Full Analysis of Nakamoto Consensus in Bounded-Delay Networks Juan Garay and Aggelos Kiayias and Nikos Leonardos. 2020 | |
| 88. | Afgjort: A Partially Synchronous Finality Layer for Blockchains Bernardo Magri and Christian Matt and Jesper Buus Nielsen and Daniel Tschudi. 2019 | |
| 89. | Tight Consistency Bounds for Bitcoin Peter Gaži and Aggelos Kiayias and Alexander Russell. 2020 | |
| 90. | Compact Storage of Superblocks for NIPoPoW Applications Kostis Karantias and Aggelos Kiayias and Nikos Leonardos and Dionysis Zindros. 2019 | |
| 91. | On Profitability of Nakamoto double spend Grunspan, Cyril and P\'erez-Marco, Ricardo. 2019 | |
| 92. | Polygraph: Accountable Byzantine Agreement Civit, Pierre and Gilbert, Seth and Gramoli, Vincent. 2019 | |
| 93. | Network-Agnostic State Machine Replication Blum, Erica and Katz, Jonathan and Loss, Julian. 2020 | |
| 94. | Hydra: Fast Isomorphic State Channels Chakravarty, Manuel MT and Coretti, Sandro and Fitzi, Matthias and Gazi, Peter and Kant, Philipp and Kiayias, Aggelos and Russell, Alexander. 2020 | |
| 95. | Optimal Good-case Latency for Byzantine Broadcast and State Machine Replication Abraham, Ittai and Nayak, Kartik and Ren, Ling and Xiang, Zhuolun. 2020 | |
| 96. | Resource-Restricted Cryptography: Revisiting MPC Bounds in the Proof-of-Work Era Garay, Juan and Kiayias, Aggelos and Ostrovsky, Rafail M and Panagiotakos, Giorgos and Zikas, Vassilis. 2020 | |
| 97. | GRANDPA: a Byzantine finality gadget Stewart, Alistair and Kokoris-Kogia, Eleftherios. 2020 | |
| 98. | Efficient Algorithms for Broadcast and Consensus Based on Proofs of Work Lisa Eckey and Sebastian Faust and Julian Loss. 2017 | |
| 99. | A Nonoutsourceable Puzzle under GHOST Rule Zeng, Gongxian and Yiu, Siu Ming and Zhang, Jun and Kuzuno, Hiroki and Au, Man Ho. 2017 | |
| 100. | Single Secret Leader Election Boneh, Dan and Eskandarian, Saba and Hanzlik, Lucjan and Greco, Nicola. 2020 | |
| 101. | Streamlined Blockchains: A Simple and Elegant Approach (A Tutorial and Survey) Elaine Shi. 2020 | |
| 102. | Securing Proof-of-Work Ledgers via Checkpointing Dimitris Karakostas and Aggelos Kiayias. 2020 | |
| 103. | Proof of Necessary Work: Succinct State Verification with Fairness Guarantees Assimakis Kattis and Joseph Bonneau. 2020 | |
| 104. | Combining GHOST and Casper Buterin, Vitalik and Hernandez, Diego and Kamphefner, Thor and Pham, Khiem and Qiao, Zhi and Ryan, Danny and Sin, Juhyeok and Wang, Ying and Zhang, Yan X. 2020 | |
| 105. | Expected Constant Round Byzantine Broadcast under Dishonest Majority Jun Wan and Hanshen Xiao and Elaine Shi and Srinivas Devadas. 2020 | |
| 106. | Blockchain with Varying Number of Players T-H. Hubert Chan and Naomi Ephraim and Antonio Marcedone and Andrew Morgan and Rafael Pass and Elaine Shi. 2020 | |
| 107. | Afgjort--A Semi-Synchronous Finality Layer for Blockchains Magri, Bernardo and Matt, Christian and Nielsen, Jesper Buus and Tschudi, Daniel. 2019 | |
| 108. | The Bitcoin Backbone Protocol Against Quantum Adversaries Alexandru Cojocaru and Juan Garay and Aggelos Kiayias and Fang Song and Petros Wallden. 2019 | |
| 109. | Platypus: a Partially Synchronous Offchain Protocol for Blockchains Ranchal-Pedrosa, Alejandro and Gramoli, Vincent. 2019 | |
| 110. | Reparo: Publicly Verifiable Layer to Repair Blockchains Thyagarajan, Sri Aravinda Krishnan and Bhat, Adithya and Magri, Bernardo and Tschudi, Daniel and Kate, Aniket. 2020 | |
| 111. | Just Enough Security: Reducing Proof-of-Work Ecological Footprint Tsabary, Itay and Spiegelman, Alexander and Eyal, Ittay. 2019 | |
| 112. | Number of confirmation blocks for Bitcoin and GHOST consensus protocols on networks with delayed message delivery Kovalchuk, Lyudmila and Kaidalov, Dmytro and Nastenko, Andrii and Shevtsov, Oleksiy and Rodinko, Mariia and Oliynykov, Roman. 2018 | |
| 113. | LazyLedger: A Distributed Data Availability Ledger With Client-Side Smart Contracts Al-Bassam, Mustafa. 2019 | |
| 114. | A PoR/PoS-Hybrid Blockchain: Proof of Reputation with Nakamoto Fallback Leonard Kleinrock and Rafail Ostrovsky and Vassilis Zikas. 2020 | |
| 115. | Native Custom Tokens in the Extended UTXO Model Chakravarty, Manuel MT and Chapman, James and MacKenzie, Kenneth and Melkonian, Orestis and M\"uller, Jann and Jones, Michael Peyton and Vinogradova, Polina and Wadler, Philip. 2020 | |
| 116. | The Thunder Protocol Pass, Rafael and Shi, Elaine. 2018 | |
| 117. | The Rush Dilemma: Attacking and Repairing Smart Contracts on Forking Blockchains Vincenzo Botta and Daniele Friolo and Daniele Venturi and Ivan Visconti. 2019 | |
| 118. | ABC: Asynchronous Blockchain without Consensus Sliwinski, Jakub and Wattenhofer, Roger. 2019 | |
| 119. | Consistency in Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders Aggelos Kiayias and Saad Quader and Alexander Russell. 2020 | |
| 120. | Incentives Don't Solve Blockchain's Problems Ketsdever, Shea and Fischer, Michael J. 2019 | |
| 121. | FastPay: High-Performance Byzantine Fault Tolerant Settlement Baudet, Mathieu and Danezis, George and Sonnino, Alberto. 2020 | |
| 122. | Plumo: Towards Scalable Interoperable Blockchains Using Ultra Light Validation Systems Gabizon, Ariel and Gurkan, Kobi and Jovanovic, Philipp and Konstantopoulos, Georgios and Oines, Asa and Olszewski, Marek and Straka, Michael and Tromer, Eran. 2020 | |
| 123. | Rational Behavior in Committee-Based Blockchains Yackolley Amoussou-Guenou and Bruno Biais and Maria Potop-Butucaru and Sara Tucci-Piergiovanni. 2020 | |
| 124. | RandPiper--Reconfiguration-Friendly Random Beacons with Quadratic Communication Bhat, Adithya and Shrestha, Nibesh and Kate, Aniket and Nayak, Kartik. 2020 | |
| 125. | Toychain: Formally Verified Blockchain Consensus George P\^ırlea. 2019 | |
| 126. | A Formal Analysis of Blockchain Consensus Laneve, Cosimo and Veschetti, Adele. 2019 | |
| 127. | Prism Removes Consensus Bottleneck for Smart Contracts Wang, Gerui and Wang, Shuo and Bagaria, Vivek and Tse, David and Viswanath, Pramod. 2020 | |
| 128. | Consensus Redux: Distributed Ledgers in the Face of Adversarial Supremacy Badertscher, Christian and Gazi, Peter and Kiayias, Aggelos and Russell, Alexander and Zikas, Vassilis. 2020 | |
| 129. | Information Theoretic HotStuff Abraham, Ittai and Stern, Gilad. 2020 | |
| 130. | Tendermint blockchain synchronization: formal specification and model checking Braithwaite, Sean and Buchman, Ethan and Konnov, Igor and Milosevic, Zarko and Stoilkovska, Ilina and Widder, Josef and Zamfir, Anca. 2020 | |
| 131. | Economic Principles of PoPCoin, a Democratic Time-based Cryptocurrency Zhang, Haoqian and Basescu, Cristina and Ford, Bryan. 2020 | |
| 132. | Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper) Braithwaite, Sean and Buchman, Ethan and Konnov, Igor and Milosevic, Zarko and Stoilkovska, Ilina and Widder, Josef and Zamfir, Anca. 2020 | |
| 133. | Post-Quantum Security of the Bitcoin Backbone and Quantum Multi-Solution Bernoulli Search Cojocaru, Alexandru and Garay, Juan and Kiayias, Aggelos and Song, Fang and Wallden, Petros. 2020 | |
| 134. | Good-case Latency of Byzantine Broadcast: a Complete Categorization Abraham, Ittai and Nayak, Kartik and Ren, Ling and Xiang, Zhuolun. 2021 | |
| 135. | Fractal: A New Paradigm for High-Performance Proof-of-Stake Blockchains Zhou, Hong-Sheng. 2019 | |
| 136. | Digital Signatures for Consensus. Gorbunov, Sergey and Wee, Hoeteck. 2019 | |
| 137. | TULIP: A Fully Incentive Compatible Blockchain Framework Amortizing Redundant Communication Ersoy, Oguzhan and Zekeriya, Erkin and Lagendijk, Reginald L. 2019 | |
| 138. | Barracuda: The Power of $$\backslash$ell $-polling in Proof-of-Stake Blockchains Fanti, Giulia and Jiao, Jiantao and Makkuva, Ashok and Oh, Sewoong and Rana, Ranvir and Viswanath, Pramod. 2019 | |
| 139. | Hydra: A Multiple Blockchain Protocol for Improving Transaction Throughput G\"undlach, Rowel and Hoepman, Jaap-Henk and van der Hofstad, Remco and Koens, Tommy and Meijer, Stijn. 2019 | |
| 140. | BackPackers: A New Network Paradigm for Secure and High-performance Blockchains Thai, Phuc D and Zhou, Hong-sheng and Katz, Jonathan and Fan, Lei and Dinh, Thang N. 2019 | |
| 141. | Permissionless Consensus in the Resource Model Benjamin Terner. 2020 | |
| 142. | Leveraging Weight Functions for Optimistic Responsiveness in Blockchains Simon Holmgaard Kamp and Bernardo Magri and Christian Matt and Jesper Buus Nielsen and Søren Eller Thomsen and Daniel Tschudi. 2020 | |
| 143. | BTSO: A Blockchain Protocol Based on Reconfigurable Byzantine Consensus Abraham, Ittai and Malkhi, Dahlia and Nayak, Kartik and Rowadoski, Listovich and Spiegelman, Alexander. 2020 | |
| 144. | Virtual ASICs: Generalized Proof-of-Stake Mining in Cryptocurrencies Chaya Ganesh and Claudio Orlandi and Daniel Tschudi and Aviv Zohar. 2020 | |
| 145. | Proofs of Useless Work--Positive and Negative Results for Wasteless Mining Systems Dotan, Maya and Tochner, Saar. 2020 | |
| 146. | Formalizing Nakamoto-Style Proof of Stake Søren Eller Thomsen and Bas Spitters. 2020 | |
| 147. | UTXOma: UTXO with Multi-Asset Support Chakravarty, Manuel MT and Chapman, James and MacKenzie, Kenneth and Melkonian, Orestis and M\"uller, Jann and Jones, Michael Peyton and Vinogradova, Polina and Wadler, Philip and Zahnentferner, Joachim. 2020 | |
| 148. | Foundations of DistributedConsensus and Blockchains Elaine Shi. 2020 | |
| 149. | The Checkpointed Longest Chain: User-dependent Adaptivity and Finality Sankagiri, Suryanarayana and Wang, Xuechao and Kannan, Sreeram and Viswanath, Pramod. 2020 | |
| 150. | TaiJi: Longest Chain Availability with BFT Fast Confirmation Songze Li and David Tse. 2020 | |
| 151. | On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger Christian Badertscher and Julia Hesse and Vassilis Zikas. 2020 | |
| 152. | BDoS: Blockchain Denial-of-Service Attacks Mirkin, Michael and Ji, Yan and Pang, Jonathan and Klages-Mundt, Ariah and Eyal, Ittay and Juels, Ari. 2020 | |
| 153. | Lattice-Based Proof-of-Work for Post-Quantum Blockchains Rouzbeh Behnia and Eamonn W. Postlethwaite and Muslum Ozgur Ozmen and Attila Altay Yavuz. 2020 | |
| 154. | Achieving State Machine Replication without Honesty Assumptions McMenamin, Conor and Daza, Vanesa and Pontecorvi, Matteo. 2020 | |
| 155. | Compact Certificates of Collective Knowledge Silvio Micali and Leonid Reyzin and Georgios Vlachos and Riad S. Wahby and Nickolai Zeldovich. 2020 | |
| 156. | Optimal Communication Complexity of Byzantine Agreement, Revisited Atsuki Momose and Ling Ren. 2020 | |
| 157. | NC-Max: Breaking the Security-Performance Tradeoff in Nakamoto Consensus Ren Zhang and Dingwei Zhang and Quake Wang and Shichen Wu and Jan Xie and Bart Preneel. 2020 | |
| 158. | SoK: Algorithmic Incentive Manipulation Attacks on Permissionless PoW Cryptocurrencies Aljosha Judmayer and Nicholas Stifter and Alexei Zamyatin and Itay Tsabary and Ittay Eyal and Peter Gaži and Sarah Meiklejohn and Edgar Weippl. 2020 | |
| 159. | Game-Theoretically Fair Leader Election in O(log log n) Rounds under Majority Coalitions Kai-Min Chung and T-H. Hubert Chan and Ting Wen and Elaine Shi (random author ordering). 2020 | |
| 160. | Order-Fair Consensus in the Permissionless Setting Mahimna Kelkar and Soubhik Deb and Sreeram Kannan. 2021 | |
| 161. | Reaching Consensus for Asynchronous Distributed Key Generation Ittai Abraham and Philipp Jovanovic and Mary Maller and Sarah Meiklejohn and Gilad Stern and Alin Tomescu. 2021 | |
| 162. | The Bitcoin Cash Backbone Protocol Juan Garay and Yu Shen. 2021 | |
| 163. | Fast-HotStuff: A Fast and Resilient BFT protocol for Blockchains Jalalzai, Mohammad M and Niu, Jianyu and Feng, Chen and Gai, Fangyu. 2021 | |
| 164. | A Security Framework for Distributed Ledgers Christoph Egger and Mike Graf and Ralf Kuesters and Daniel Rausch and Viktoria Ronge and and Dominique Schröder. 2021 | |
| 165. | Fast Validated Byzantine Broadcast Abraham, Ittai and Nayak, Kartik and Ren, Ling and Xiang, Zhuolun. 2021 | |
| 166. | When Nakamoto Meets Nash: Blockchain Breakthrough Through the Lens of Game Theory (Invited Talk) Abraham, Ittai. 2021 | |
| 167. | YOSO: You Only Speak Once / Secure MPC with Stateless Ephemeral Roles Craig Gentry and Shai Halevi and Hugo Krawczyk and Bernardo Magri and Jesper Buus Nielsen and Tal Rabin and Sophia Yakoubov. 2021 | |
| 168. | Embedding a Deterministic BFT Protocol in a Block DAG Schett, Maria A and Danezis, George. 2021 | |
| 169. | On-Chain Smart Contract Verification over Tendermint⋆ Olivieri, Luca and Spoto, Fausto and Tagliaferro, Fabio. 2021 | |
| 170. | HashSplit: Exploiting Bitcoin Asynchrony to Violate Common Prefix and Chain Quality Muhammad Saad and Afsah Anwar and Srivatsan Ravi and David Mohaisen. 2021 | |
| 171. | Post-Quantum Verifiable Random Function from Symmetric Primitives in PoS Blockchain Buser, Maxime and Dowsley, Rafael and Esgin, Muhammed F and Kermanshahi, Shabnam Kasra and Kuchta, Veronika and Liu, Joseph K and Phan, Raphael and Zhang, Zhenfei. 2021 | |
| 172. | Efficient and Universally Composable Single Secret Leader Election from Pairings Dario Catalano and Dario Fiore and Emanuele Giunta. 2021 | |
| 173. | Multi-instance Publicly Verifiable Time-lock Puzzle and its Applications Abadi, Aydin and Kiayias, Aggelos. 2021 | |
| 174. | On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols Markulf Kohlweiss and Varun Madathil and Kartik Nayak and Alessandra Scafuro. 2021 | |
| 175. | Latus Incentive Scheme: Enabling Decentralization in Blockchains based on Recursive SNARKs Alberto Garoffolo and Dmytro Kaidalov and Roman Oliynykov. 2021 |
Videos