C3 – Distributed Ledger Technology: Blockchain as Middleware
course of the deck
used in the lectures
same deck in other editions
C4 – Distributed Ledger Technology: Blockchain as Middleware — Distributed Systems (Module 1) 2025/2026
reference publication
Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains (paper in proceedings, 2018) — Elli Androulaki, Artem Barger, Vita Bortnikov, Christian Cachin, Konstantinos Christidis, Angelo De Caro, David Enyeart, Christopher Ferris, Gennady Laventman, Yacov Manevich, Srinivasan Muralidharan, Chet Murthy, Binh Nguyen, Manish Sethi, Gari Singh, Keith Smith, Alessandro Sorniotti, Chrysoula Stathakopoulou, Marko Vukolić, Sharon Weed Cocco, Jason Yellick A survey of attacks on Ethereum smart contracts (SoK) (book chapter, 2017) — Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli The Next 700 BFT Protocols (article in journal, 2015) — Pierre-Louis Aublin, Rachid Guerraoui, Nikola Knežević, Vivien Quéma, Marko Vukolić Hashcash - A Denial of Service Counter-Measure (other publication sort, 2002) — Adam Back Towards robust distributed systems (abstract) (paper in proceedings, 2000) — Eric A. Brewer Blockchain Consensus Protocols in the Wild (Keynote Talk) (paper in proceedings, 2017) — Christian Cachin, Marko Vukolić Practical byzantine fault tolerance and proactive recovery (article in journal, 2002) — Miguel Castro, Barbara Liskov Replication. Theory and Practice (edited volume, 2010) — Bernadette Charron-Bost, Fernando Pedone, André Schiper On Security Analysis of Proof-of-Elapsed-Time (PoET) (book chapter, 2017) — Lin Chen, Lei Xu, Nolan Shah, Zhimin Gao, Yang Lu, Weidong Shi Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum (paper in proceedings, 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini The Sybil Attack (paper in proceedings, 2002) — John R. Douceur Experiments in Algorithmic Governance. A history and ethnography of “The DAO,” a failed Decentralized Autonomous Organization (book chapter, 2017) — Quinn Dupont Majority Is Not Enough: Bitcoin Mining Is Vulnerable (book chapter, 2014) — Ittay Eyal, Emin Gün Sirer DLT reference architecture (technical report, 2019) — FG DLT DLT terms and definitions (technical report, 2019) — FG DLT DLT use cases (technical report, 2019) — FG DLT Impossibility of distributed consensus with one faulty process (article in journal, 1985) — Michael J. Fischer, Nancy A. Lynch, Michael S. Paterson How to Time-Stamp a Digital Document (article in journal, 1991) — Stuart Haber, W. Scott Stornetta Blockchain and distributed ledger technologies — Vocabulary (technical report, 2020) — ISO/TC 307 Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol (paper in proceedings, 2017) — Aggelos Kiayias, Alexander Russell, Bernardo David, Roman Oliynykov The Part-Time Parliament (article in journal, 1998) — Leslie Lamport The Byzantine Generals Problem (article in journal, 1982) — Leslie Lamport, Robert Shostak, Marshall Pease Making Smart Contracts Smarter (paper in proceedings, 2016) — Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination (book chapter, 2013) — Stefano Mariani, Andrea Omicini The Honey Badger of BFT Protocols (paper in proceedings, 2016) — Andrew Miller, Yu Xia, Kyle Croman, Elaine Shi, Dawn Song Bitcoin: A Peer-to-Peer Electronic Cash System (other publication sort, 2008) — Satoshi Nakamoto In Search of an Understandable Consensus Algorithm (paper in proceedings, 2014) — Diego Ongaro, John K. Ousterhout Equilibria in the tangle (article in journal, 2019) — Serguei Popov, Olivia Saa, Paulo Finardi Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial (article in journal, 1990) — Fred B. Schneider Accelerating Bitcoin's Transaction Processing. Fast Money Grows on Trees, Not Chains (technical report, 2013) — Yonatan Sompolinsky, Aviv Zohar From Byzantine Consensus to BFT State Machine Replication: A Latency-Optimal Transformation (paper in proceedings, 2012) — João Sousa, Alysson Bessani Blockchain: Blueprint for a New Economy (book, 2015) — Melanie Swan Formalizing and Securing Relationships on Public Networks (article in journal, 1997) — Nick Szabo Distributed Systems. Principles and Paradigms (book, 2017) — Andrew S. Tanenbaum, Maarten van Steen Mathematical Models of Interactive Computing (technical report, 1999) — Peter Wegner, Dina Goldin Ethereum: a secure decentralised generalised transaction ledger (other publication sort, 2014) — Gavin Wood
English
