Papers (192)

#Title
Citations
1.Bitcoin: A Peer-to-Peer Electronic Cash System Nakamoto, Satoshi. 2008
17069
2.A next-generation smart contract and decentralized application platform Buterin, Vitalik. 2014
2438
3.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
2130
4.Majority is not enough: Bitcoin mining is vulnerable Eyal, Ittay and Gün Sirer, Emin. 2014
2110
5.The Bitcoin Backbone Protocol : Analysis and Applications Garay, Juan A and Kiayias, Aggelos and Leonardos, Nikos. 2014
1285
6.Bitcoin-NG: A Scalable Blockchain Protocol Eyal, Ittay and Gencer, Adem Efe and Sirer, Emin Gün and van Renesse, Robbert. 2016
1259
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
1144
8.The quest for scalable blockchain fabric: Proof-of-work vs. BFT replication Vukolić, Marko. 2015
1048
9.Hashcash - A Denial of Service Counter-Measure Back, Adam. 2002
980
10.Optimal Selfish Mining Strategies in Bitcoin Sapirshtein, Ayelet and Sompolinsky, Yonatan and Zohar, Aviv. 2015
583
11.Analysis of the Blockchain Protocol in Asynchronous Networks Pass, Rafael and Seeman, Lior and abhi Shelat. 2016
582
12.The Ripple protocol consensus algorithm Schwartz, D and Youngs, N and Britto, A. 2014
576
13.Blockchain consensus protocols in the wild Cachin, Christian and Vukoli\'c, Marko. 2017
528
14.The honey badger of BFT protocols Miller, Andrew and Xia, Yu and Croman, Kyle and Shi, Elaine and Song, Dawn. 2016
501
15.Casper the friendly finality gadget Buterin, Vitalik and Griffith, Virgil. 2017
439
16.The Miner's Dilemma Eyal, Ittay. 2014
419
17.The stellar consensus protocol: A federated model for internet-level consensus Mazieres, David. 2015
406
18.Inclusive block chain protocols Lewenberg, Yoad and Sompolinsky, Yonatan and Zohar, Aviv. 2015
351
19.Tendermint: Byzantine fault tolerance in the age of blockchains Buchman, Ethan. 2016
316
20.Fruitchains: A fair blockchain Pass, Rafael and Shi, Elaine. 2016
294
21.Hybrid consensus: Efficient consensus in the permissionless model Pass, Rafael and Shi, Elaine. 2017
288
22.Hotstuff: Bft consensus with linearity and responsiveness Yin, Maofan and Malkhi, Dahlia and Reiter, Michael K and Gueta, Guy Golan and Abraham, Ittai. 2019
267
23.Verifiable Delay Functions Dan Boneh, Joseph Bonneau, Benedikt Bünz, Ben Fisch. 2018
241
24.Accelerating Bitcoin's Transaction Processing. Fast Money Grows on Trees, Not Chains Sompolinsky, Yonatan and Zohar, A. 2013
234
25.Demystifying incentives in the consensus computer Luu, Loi and Teutsch, Jason and Kulkarni, Raghav and Saxena, Prateek. 2015
200
26.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
199
27.The Bitcoin Backbone Protocol with Chains of Variable Difficulty Juan A. Garay and Aggelos Kiayias and Nikos Leonardos. 2016
196
28.Thunderella: Blockchains with Optimistic Instant Confirmation Rafael Pass and Elaine Shi. 2017
179
29.Speed-Security Tradeoffs in Blockchain Protocols Kiayias, Aggelos and Panagiotakos, Giorgos. 2015
162
30.DFINITY Technology Overview Series, Consensus System Hanke, Timo and Movahedi, Mahnush and Williams, Dominic. 2018
150
31.Anonymous Byzantine Consensus from Moderately-Hard Puzzles: A Model for Bitcoin Miller, Andrew and Jr, Jj LaViola. 2014
126
32.PHANTOM: A Scalable BlockDAG Protocol Yonatan Sompolinsky and Aviv Zohar. 2018
124
33.On Trees, Chains and Fast Transactions in the Blockchain Kiayias, Aggelos and Panagiotakos, Giorgos. 2016
111
34.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
96
35.Stake-Bleeding Attacks on Proof-of-Stake Blockchains Peter Gaži and Aggelos Kiayias and Alexander Russell. 2018
93
36.Sok: A consensus taxonomy in the blockchain era Garay, Juan and Kiayias, Aggelos. 2018
92
37.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
92
38.Analysis of the XRP ledger consensus protocol Chase, Brad and MacBrough, Ethan. 2018
84
39.A Better Method to Analyze Blockchain Consistency Kiffer, Lucianna and Rajaraman, Rajmohan and others. 2018
78
40.Algorand Chen, Jing and Micali, Silvio. 2016
76
41.Publish or Perish: A Backward-Compatible Defense against Selfish Mining in Bitcoin Zhang, Ren and Preneel, Bart. 2017
75
42.Mechanising Blockchain Consensus P\^\irlea, George and Sergey, Ilya. 2018
64
43.When cryptocurrencies mine their own business Teutsch, Jason and Jain, Sanjay and Saxena, Prateek. 2016
62
44.Redactable blockchain in the permissionless setting Deuber, Dominic and Magri, Bernardo and Thyagarajan, Sri Aravinda Krishnan. 2019
62
45.Rethinking Large-Scale Consensus Rafael Pass and Elaine Shi. 2018
58
46.On The Longest Chain Rule and Programmed Self-Destruction of Crypto Currencies Courtois, Nicolas T. 2014
53
47.Sync hotstuff: Simple and practical synchronous state machine replication Abraham, Ittai and Malkhi, Dahlia and Nayak, Kartik and Ren, Ling and Yin, Maofan. 2020
53
48.Incentives in Ethereum's Hybrid Casper Protocol Buterin, Vitalik and Reijsbergen, Daniel and Leonardos, Stefanos and Piliouras, Georgios. 2019
50
49.Hot-stuff the linear, optimal-resilience, one-message BFT devil Abraham, Ittai and Gueta, Guy and Malkhi, Dahlia. 2018
48
50.Revisiting Difficulty Control for Blockchain Systems Meshkov, Dmitry and Chepurnoy, Alexander and Jansen, Marc. 2017
45
51.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
44
52.Lay down the common metrics: Evaluating proof-of-work consensus protocols’ security Zhang, Ren and Preneel, Bart. 2019
43
53.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
43
54.PaLa: A Simple Partially Synchronous Blockchain Chan, TH Hubert and Pass, Rafael and Shi, Elaine. 2018
38
55.Blockchain-Free Cryptocurrencies: A Framework for Truly Decentralised Fast Transactions Boyen, Xavier and Carr, Christopher and Haines, Thomas. 2016
37
56.Analysis of Nakamoto Consensus Ling Ren. 2019
36
57.Streamlet: Textbook Streamlined Blockchains Benjamin Y Chan and Elaine Shi. 2020
36
58.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
35
59.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
60.Order-Fairness for Byzantine Consensus Mahimna Kelkar and Fan Zhang and Steven Goldfeder and Ari Juels. 2020
32
61.Synchronous, with a Chance of Partition Tolerance. Guo, Yue and Pass, Rafael and Shi, Elaine. 2019
31
62.Bootstrapping the Blockchain, with Applications to Consensus and Fast PKI Setup Garay, Juan A and Kiayias, Aggelos and Leonardos, Nikos and Panagiotakos, Giorgos. 2018
30
63.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
25
64.Correctness and fairness of tendermint-core blockchains Amoussou-Guenou, Yackolley and Del Pozzo, Antonella and Potop-Butucaru, Maria and Tucci-Piergiovanni, Sara. 2018
24
65.On the Necessity of a Prescribed Block Validity Consensus: Analyzing Bitcoin Unlimited Mining Protocol Ren Zhang and Bart Preneel. 2017
23
66.Ouroboros-BFT: A Simple Byzantine Fault Tolerant Consensus Protocol Kiayias, Aggelos and Russell, Alexander. 2018
22
67.Betting on Blockchain Consensus with Fantomette Azouvi, Sarah and McCorry, Patrick and Meiklejohn, Sarah. 2018
20
68.StrongChain: Transparent and Collaborative Proof-of-Work Consensus Szalachowski, Pawel and Reijsbergen, Dani\"el and Homoliak, Ivan and Sun, Siwei. 2019
19
69.Pixel: Multi-signatures for Consensus Manu Drijvers and Sergey Gorbunov and Gregory Neven and Hoeteck Wee. 2019
19
70.Blockmania: from Block DAGs to Consensus Danezis, George and Hrycyszyn, David. 2018
16
71.Cogsworth: Byzantine View Synchronization Naor, Oded and Baudet, Mathieu and Malkhi, Dahlia and Spiegelman, Alexander. 2019
16
72.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
16
73.Consensus through Herding Chan, TH Hubert and Pass, Rafael and Shi, Elaine. 2019
14
74.Divide and Scale: Formalization of Distributed Ledger Sharding Protocols Avarikioti, Georgia and Kokoris-Kogias, Eleftherios and Wattenhofer, Roger. 2019
14
75.Polygraph: Accountable Byzantine Agreement Civit, Pierre and Gilbert, Seth and Gramoli, Vincent. 2019
14
76.Full Analysis of Nakamoto Consensus in Bounded-Delay Networks Juan Garay and Aggelos Kiayias and Nikos Leonardos. 2020
14
77.Tight Consistency Bounds for Bitcoin Peter Gaži and Aggelos Kiayias and Alexander Russell. 2020
14
78.Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR Naor, Oded and Keidar, Idit. 2020
13
79.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
13
80.Replicated state machines without replicated execution Lee, Jonathan and Nikitin, Kirill and Setty, Srinath. 2020
13
81.Expected Constant Round Byzantine Broadcast under Dishonest Majority Jun Wan and Hanshen Xiao and Elaine Shi and Srinivas Devadas. 2020
12
82.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
11
83.GRANDPA: a Byzantine finality gadget Stewart, Alistair and Kokoris-Kogia, Eleftherios. 2020
11
84.Rationality is Self-Defeating in Permissionless Systems Ford, Bryan and B\"ohme, Rainer. 2019
10
85.Network-Agnostic State Machine Replication Blum, Erica and Katz, Jonathan and Loss, Julian. 2020
10
86.Securing Proof-of-Work Ledgers via Checkpointing Dimitris Karakostas and Aggelos Kiayias. 2020
9
87.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
9
88.Analysis of Deterministic Longest-Chain Protocols Shi, Elaine. 2018
8
89.Compact Storage of Superblocks for NIPoPoW Applications Kostis Karantias and Aggelos Kiayias and Nikos Leonardos and Dionysis Zindros. 2019
8
90.Single Secret Leader Election Boneh, Dan and Eskandarian, Saba and Hanzlik, Lucjan and Greco, Nicola. 2020
8
91.Afgjort: A Partially Synchronous Finality Layer for Blockchains Bernardo Magri and Christian Matt and Jesper Buus Nielsen and Daniel Tschudi. 2019
8
92.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
8
93.On Profitability of Nakamoto double spend Grunspan, Cyril and P\'erez-Marco, Ricardo. 2019
7
94.Proof of Necessary Work: Succinct State Verification with Fairness Guarantees Assimakis Kattis and Joseph Bonneau. 2020
7
95.Efficient Algorithms for Broadcast and Consensus Based on Proofs of Work Lisa Eckey and Sebastian Faust and Julian Loss. 2017
6
96.Reparo: Publicly Verifiable Layer to Repair Blockchains Thyagarajan, Sri Aravinda Krishnan and Bhat, Adithya and Magri, Bernardo and Tschudi, Daniel and Kate, Aniket. 2020
6
97.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
6
98.FastPay: High-Performance Byzantine Fault Tolerant Settlement Baudet, Mathieu and Danezis, George and Sonnino, Alberto. 2020
6
99.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
6
100.Good-case Latency of Byzantine Broadcast: a Complete Categorization Abraham, Ittai and Nayak, Kartik and Ren, Ling and Xiang, Zhuolun. 2021
6
101.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
5
102.Reducing Participation Costs via Incremental Verification for Ledger Systems Weikeng Chen and Alessandro Chiesa and Emma Dauterman and Nicholas P. Ward. 2020
5
103.Digital Signatures for Consensus. Gorbunov, Sergey and Wee, Hoeteck. 2019
4
104.ABC: Asynchronous Blockchain without Consensus Sliwinski, Jakub and Wattenhofer, Roger. 2019
4
105.The Bitcoin Backbone Protocol Against Quantum Adversaries Alexandru Cojocaru and Juan Garay and Aggelos Kiayias and Fang Song and Petros Wallden. 2019
4
106.Platypus: a Partially Synchronous Offchain Protocol for Blockchains Ranchal-Pedrosa, Alejandro and Gramoli, Vincent. 2019
4
107.Consistency in Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders Aggelos Kiayias and Saad Quader and Alexander Russell. 2020
4
108.Rational Behavior in Committee-Based Blockchains Yackolley Amoussou-Guenou and Bruno Biais and Maria Potop-Butucaru and Sara Tucci-Piergiovanni. 2020
4
109.RandPiper--Reconfiguration-Friendly Random Beacons with Quadratic Communication Bhat, Adithya and Shrestha, Nibesh and Kate, Aniket and Nayak, Kartik. 2020
4
110.Multi-instance Publicly Verifiable Time-lock Puzzle and its Applications Abadi, Aydin and Kiayias, Aggelos. 2021
4
111.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
3
112.LazyLedger: A Distributed Data Availability Ledger With Client-Side Smart Contracts Al-Bassam, Mustafa. 2019
3
113.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
3
114.The Thunder Protocol Pass, Rafael and Shi, Elaine. 2018
2
115.PiLi: An Extremely Simple Synchronous Blockchain Chan, TH Hubert and Pass, Rafael and Shi, Elaine. 2018
2
116.The Rush Dilemma: Attacking and Repairing Smart Contracts on Forking Blockchains Vincenzo Botta and Daniele Friolo and Daniele Venturi and Ivan Visconti. 2019
2
117.Incentives Don't Solve Blockchain's Problems Ketsdever, Shea and Fischer, Michael J. 2019
2
118.Prism Removes Consensus Bottleneck for Smart Contracts Wang, Gerui and Wang, Shuo and Bagaria, Vivek and Tse, David and Viswanath, Pramod. 2020
2
119.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
2
120.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
2
121.Toychain: Formally Verified Blockchain Consensus George P\^ırlea. 2019
1
122.A Formal Analysis of Blockchain Consensus Laneve, Cosimo and Veschetti, Adele. 2019
1
123.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
1
124.Formalizing Nakamoto-Style Proof of Stake Søren Eller Thomsen and Bas Spitters. 2020
1
125.Information Theoretic HotStuff Abraham, Ittai and Stern, Gilad. 2020
1
126.Economic Principles of PoPCoin, a Democratic Time-based Cryptocurrency Zhang, Haoqian and Basescu, Cristina and Ford, Bryan. 2020
1
127.Order-Fair Consensus in the Permissionless Setting Mahimna Kelkar and Soubhik Deb and Sreeram Kannan. 2021
1
128.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
1
129.On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols Markulf Kohlweiss and Varun Madathil and Kartik Nayak and Alessandra Scafuro. 2021
1
130.Latus Incentive Scheme: Enabling Decentralization in Blockchains based on Recursive SNARKs Alberto Garoffolo and Dmytro Kaidalov and Roman Oliynykov. 2021
1
131.Graphchain: a Blockchain-Free Scalable Decentralised Ledger Boyen, Xavier and Carr, Christopher and Haines, Thomas. 2018
0
132.SPECTRE: Serialization of Proof-of-work Events: Confirming Transactions via Recursive Elections Sompolinsky, Yonatan and Lewenberg, Yoad and Zohar, Aviv. 2016
0
133.A Nonoutsourceable Puzzle under GHOST Rule Zeng, Gongxian and Yiu, Siu Ming and Zhang, Jun and Kuzuno, Hiroki and Au, Man Ho. 2017
0
134.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
0
135.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
0
136.Fractal: A New Paradigm for High-Performance Proof-of-Stake Blockchains Zhou, Hong-Sheng. 2019
0
137.A Scalable Proof-of-Stake Blockchain in the Open Setting Fan, Lei and Zhou, Hong-Sheng and Katz, Jonathan. 2018
0
138.Casper the friendly ghost: A correct by construction blockchain consensus protocol Zamfir, Vlad. 2017
0
139.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
0
140.Afgjort--A Semi-Synchronous Finality Layer for Blockchains Magri, Bernardo and Matt, Christian and Nielsen, Jesper Buus and Tschudi, Daniel. 2019
0
141.TULIP: A Fully Incentive Compatible Blockchain Framework Amortizing Redundant Communication Ersoy, Oguzhan and Zekeriya, Erkin and Lagendijk, Reginald L. 2019
0
142.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
0
143.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
0
144.Just Enough Security: Reducing Proof-of-Work Ecological Footprint Tsabary, Itay and Spiegelman, Alexander and Eyal, Ittay. 2019
0
145.Streamlined Blockchains: A Simple and Elegant Approach (A Tutorial and Survey) Elaine Shi. 2020
0
146.A PoR/PoS-Hybrid Blockchain: Proof of Reputation with Nakamoto Fallback Leonard Kleinrock and Rafail Ostrovsky and Vassilis Zikas. 2020
0
147.Optimal Good-case Latency for Byzantine Broadcast and State Machine Replication Abraham, Ittai and Nayak, Kartik and Ren, Ling and Xiang, Zhuolun. 2020
0
148.Permissionless Consensus in the Resource Model Benjamin Terner. 2020
0
149.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
0
150.BTSO: A Blockchain Protocol Based on Reconfigurable Byzantine Consensus Abraham, Ittai and Malkhi, Dahlia and Nayak, Kartik and Rowadoski, Listovich and Spiegelman, Alexander. 2020
0
151.Virtual ASICs: Generalized Proof-of-Stake Mining in Cryptocurrencies Chaya Ganesh and Claudio Orlandi and Daniel Tschudi and Aviv Zohar. 2020
0
152.Proofs of Useless Work--Positive and Negative Results for Wasteless Mining Systems Dotan, Maya and Tochner, Saar. 2020
0
153.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
0
154.Foundations of DistributedConsensus and Blockchains Elaine Shi. 2020
0
155.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
0
156.The Checkpointed Longest Chain: User-dependent Adaptivity and Finality Sankagiri, Suryanarayana and Wang, Xuechao and Kannan, Sreeram and Viswanath, Pramod. 2020
0
157.TaiJi: Longest Chain Availability with BFT Fast Confirmation Songze Li and David Tse. 2020
0
158.On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger Christian Badertscher and Julia Hesse and Vassilis Zikas. 2020
0
159.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
0
160.Lattice-Based Proof-of-Work for Post-Quantum Blockchains Rouzbeh Behnia and Eamonn W. Postlethwaite and Muslum Ozgur Ozmen and Attila Altay Yavuz. 2020
0
161.Achieving State Machine Replication without Honesty Assumptions McMenamin, Conor and Daza, Vanesa and Pontecorvi, Matteo. 2020
0
162.Compact Certificates of Collective Knowledge Silvio Micali and Leonid Reyzin and Georgios Vlachos and Riad S. Wahby and Nickolai Zeldovich. 2020
0
163.Optimal Communication Complexity of Byzantine Agreement, Revisited Atsuki Momose and Ling Ren. 2020
0
164.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
0
165.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
0
166.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
0
167.The Bitcoin Cash Backbone Protocol Juan Garay and Yu Shen. 2021
0
168.Fast-HotStuff: A Fast and Resilient BFT protocol for Blockchains Jalalzai, Mohammad M and Niu, Jianyu and Feng, Chen and Gai, Fangyu. 2021
0
169.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
0
170.Fast Validated Byzantine Broadcast Abraham, Ittai and Nayak, Kartik and Ren, Ling and Xiang, Zhuolun. 2021
0
171.When Nakamoto Meets Nash: Blockchain Breakthrough Through the Lens of Game Theory (Invited Talk) Abraham, Ittai. 2021
0
172.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
0
173.Embedding a Deterministic BFT Protocol in a Block DAG Schett, Maria A and Danezis, George. 2021
0
174.On-Chain Smart Contract Verification over Tendermint⋆ Olivieri, Luca and Spoto, Fausto and Tagliaferro, Fabio. 2021
0
175.HashSplit: Exploiting Bitcoin Asynchrony to Violate Common Prefix and Chain Quality Muhammad Saad and Afsah Anwar and Srivatsan Ravi and David Mohaisen. 2021
0
176.Efficient and Universally Composable Single Secret Leader Election from Pairings Dario Catalano and Dario Fiore and Emanuele Giunta. 2021
0
177.Payment Does Not Imply Consensus (For Distributed Payment Systems) Orton, Thomas. 2021
0
178.Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus Danezis, George and Kogias, Eleftherios Kokoris and Sonnino, Alberto and Spiegelman, Alexander. 2021
0
179.A Permissionless Proof-of-Stake Blockchain with Best-Possible Unpredictability Lei Fan and Jonathan Katz and Phuc Thai and Hong-Sheng Zhou. 2021
0
180.Dynamic Ad Hoc Clock Synchronization Badertscher, Christian and Gazi, Peter and Kiayias, Aggelos and Russell, Alexander and Zikas, Vassilis. 2021
0
181.Babel Fees via Limited Liabilities Chakravarty, Manuel MT and Karayannidis, Nikos and Kiayias, Aggelos and Jones, Michael Peyton and Vinogradova, Polina. 2021
0
182.How Byzantine is a Send Corruption? Karim Eldefrawy and Julian Loss and Ben Terner. 2021
0
183.A New Way to Achieve Round-Efficient Byzantine Agreement Matthias Fitzi and Chen-Da Liu-Zhang and Julian Loss. 2021
0
184.Mithril: Stake-based Threshold Multisignatures Pyrros Chaidos and Aggelos Kiayias. 2021
0
185.Cob: a Multidimensional Byzantine Agreement Protocol for Asynchronous Incomplete Networks Flamini, Andrea and Longo, Riccardo and Meneghetti, Alessio. 2021
0
186.The Power of Random Symmetry-Breaking in Nakamoto Consensus Su, Lili and Liu, Quanquan C and Narula, Neha. 2021
0
187.Optimal Good-case Latency for Rotating Leader Synchronous BFT Ittai Abraham and Kartik Nayak and Nibesh Shrestha. 2021
0
188.Reputation at Stake! A Trust Layer over Decentralized Ledger for Multiparty Computation and Reputation-Fair Lottery Mario Larangeira. 2021
0
189.As easy as ABC: Optimal (A)ccountable (B)yzantine (C)onsensus is easy! Pierre Civit and Seth Gilbert and Vincent Gramoli and Rachid Guerraoui and Jovan Komatovic. 2021
0
190.Round-Efficient Byzantine Agreement and Multi-Party Computation with Asynchronous Fallback Giovanni Deligios and Martin Hirt and Chen-Da Liu-Zhang. 2021
0
191.DispersedLedger: High-Throughput Byzantine Consensus on Variable Bandwidth Networks Yang, Lei and Park, Seo Jin and Alizadeh, Mohammad and Kannan, Sreeram and Tse, David. 2021
0
192.Ofelimos: Combinatorial Optimization via Proof-of-Useful-Work \\ A Provably Secure Blockchain Protocol Matthias Fitzi and Aggelos Kiayias and Giorgos Panagiotakos and Alexander Russell. 2021
0

Videos