| Bitcoin: A Peer-to-Peer Electronic Cash System | ||
| Satoshi Nakamoto | Manuscript | PDF | .BIB |
| The Bitcoin Backbone Protocol: Analysis and Applications | ||
| Juan Garay, Aggelos Kiayias, Nikos Leonardos | EUROCRYPT '15 | PDF | .BIB | .BIB |
| The Bitcoin Backbone Protocol with Chains of Variable Difficulty | ||
| Juan Garay, Aggelos Kiayias, Nikos Leonardos | CRYPTO '17 | PDF | .BIB |
| Analysis of the Blockchain Protocol in Asynchronous Networks | ||
| Rafael Pass, Lior Seeman, Abhi Shelat | EUROCRYPT '17 | PDF | .BIB |
| Bitcoin as a Transaction Ledger: A Composable Treatment | ||
| Christian Badertscher, Ueli Maurer, Daniel Tschudi, Vassilis Zikas | CRYPTO '17 | PDF | .BIB |
More on PoW Blockchains
| How Does Nakamoto Set His Clock? Full Analysis of Nakamoto Consensus in Bounded-Delay Networks | ||
| Juan Garay, Aggelos Kiayias, Nikos Leonardos | Manuscript | PDF | .BIB |
| Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol | ||
| Aggelos Kiayias, Alexander Russell, Bernardo David, Roman Oliynykov | CRYPTO '17 | PDF | .BIB |
| Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability | ||
| Christian Badertscher, Peter Gaži, Aggelos Kiayias, Alexander Russell, Vassilis Zikas | ACM CCS '18 | PDF | .BIB |
| The Byzantine Generals Problem | ||
| Leslie Lamport, Robert Shostak, Marshall Peas | TOPLAS '82 | PDF | .BIB |
| Proof-of-Work-based Consensus in Expected-Constant Time | ||
| Juan Garay, Aggelos Kiayias, Yu Shen | Manuscript | PDF | .BIB |
| SoK: A Consensus Taxonomy in the Blockchain Era | ||
| Juan Garay, Aggelos Kiayias | CT-RSA '20 | PDF | .BIB |
More on Consensus
| Sequential composition of protocols without simultaneous termination | ||
| Yehuda Lindell, Anna Lysyanskaya, Tal Rabin | PODC '02 | PDF | .BIB |
| On the possibility and impossibility of achieving clock synchronization | ||
| Danny Dolev, Joseph Y Halpern, Raymond H Strong | JCSS '8 | PDF | .BIB |
| Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake | ||
| Christian Badertscher, Peter Gaži, Aggelos Kiayias, Alexander Russell, Vassilis Zikas | EUROCRYPT '21 | PDF | .BIB |
| Permissionless Clock Synchronization with Public Setup | ||
| Juan Garay, Aggelos Kiayias, Yu Shen | TCC '22 | PDF | Slides | .BIB |
| Ordering Transactions with Bounded Unfairness: Definitions, Complexity and Constructions | ||
| Aggelos Kiayias, Nikos Leonardos, Yu Shen | Manuscript | PDF | .BIB |
| Order-Fairness for Byzantine Consensus | ||
| Mahimna Kelkar, Fan Zhang, Steven Goldfeder, Ari Juels | CRYPTO '20 | PDF | .BIB |
More on Transaction Order Fairness
| Order-Fair Consensus in the Permissionless Setting | ||
| Mahimna Kelkar, Soubhik Deb, Sreeram Kannan | APKC '22 | PDF | .BIB |
| Pricing via Processing or Combatting Junk Mail | ||
| Cynthia Dwork, Moni Naor | CRYPTO '92 | PDF | .BIB |
| Proofs of Work From Worst-Case Assumptions | ||
| Marshall Ball, Alon Rosen, Manuel Sabin, Prashant Nalini Vasudevan | CRYPTO '18 | PDF | .BIB |
| Ledger Combiners for Fast Settlement | ||
| Matthias Fitzi, Peter Gaži, Aggelos Kiayias, Alexander Russell | TCC '20 | PDF | .BIB |
| Mining in Logarithmic Space | ||
| Aggelos Kiayias, Nikos Leonardos, Dionysis Zindros | ACM CCS '21 | PDF | .BIB |
| Prism: Deconstructing the Blockchain to Approach Physical Limits | ||
| Vivek Bagaria, Sreeram Kannan, David Tse, Giulia Fanti, Pramod Viswanath | ACM CSS '19 | PDF | .BIB |
More on Scalability
| Parallel Chains: Improving Throughput and Latency of Blockchain Protocols via Parallel Composition | ||
| Matthias Fitzi, Peter Gaži, Aggelos Kiayias, Alexander Russell | Manuscript | PDF | .BIB |
| Theoretical Bitcoin Attacks with less than Half of the Computational Power (draft) | ||
| Lear Bahack | Manuscript | PDF | .BIB |
| Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges | ||
| Philip Daian, Steven Goldfeder, Tyler Kell, Yunqi Li, Xueyuan Zhao, Iddo Bentov, Lorenz Breidenbach, Ari Juels | IEEE S&P '20 | PDF | .BIB |
| A Note on Exact Algorithms for Vertex Ordering Problems on Graphs | ||
| Hans L. Bodlaender, Fedor V. Fomin, Arie M. C. A. Koster, Dieter Kratsch, Dimitrios M. Thilikos | Theory of Computing Systems | PDF | .BIB |
| On the maximum cardinality of a consistent set of arcs in a random tournament | ||
| W Fernandez de la Vega | Journal of Combinatorial Theory | PDF | .BIB |
More on Graph Theory
| Optimally ranking unrankable tournaments | ||
| J. Spencer | Periodica Mathematica Hungarica | PDF | .BIB |
| How To Simulate It - A Tutorial on the Simulation Proof Technique | ||
| Yehuda Lindell | Tutorials on the Foundations of Cryptography | PDF | .BIB | .BIB |
| Mathematics and Computation | ||
| Avi Wigderson | Mathematics and Computation | |
| Lecture Notes Cryptographic Protocols | ||
| Berry Schoenmakers | Manuscript | Notes | Slides |