Papers co-authored by members of the Blockchain Technology Lab No. Authors Paper Conference 1 Aggelos Kiayias, Alexander Russell, Bernardo David, Roman Oliynykov Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol Crypto 2017 2 Juan A. Garay, Aggelos Kiayias, Nikos Leonardos The Bitcoin Backbone Protocol with Chains of Variable Difficulty Crypto 2017 3 Christos Patsonakis, Katerina Samari, Mema Roussopoulos, Aggelos Kiayias Towards a Smart Contract-based, Decentralized, Public-Key Infrastructure CANS 2017 4 Christian Badertscher, Juan A. Garay, Ueli Maurer, Daniel Tschudi, Vassilis Zikas But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin Eurocrypt 2018 5 Bernardo David, Peter Gaži, Aggelos Kiayias, Alexander Russell Ouroboros Praos: An Adaptively-Secure, Semi-synchronous Proof-of-Stake Blockchain Eurocrypt 2018 6 Peter Gaži, Aggelos Kiayias, Alexander Russell Stake-Bleeding attacks on Proof-of-Stake Blockchains Crypto Valley Conference 2018 7 Christian Badertscher, Peter Gaži, Aggelos Kiayias, Alexander Russell, and Vassilis Zikas Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability ACM CCS 2018 8 Aggelos Kiayias, Dimitris Karakostas, Andriana Gkaniatsou, Myrto Arapinis A Formal Treatment of Hardware Wallets FC'19 9 Aggelos Kiayias, Dionysis Zindros Proof-of-Work Sidechains WTSC 2019 10 Emilios Avgouleas, Aggelos Kiayias The Promise of Blockchain Technology for Global Securities and Derivatives Markets: The New Financial Ecosystem and the ‘Holy Grail’ of Systemic Risk Containment European Business Organization Law Review, (2019) 20: 81 11 Kostis Karantias, Aggelos Kiayias, Nikos Leonardos, Dionysis Zindros Compact Storage of Superblocks for NIPoPoW Applications Marble 2019 12 Dimitris Karakostas, Aggelos Kiayias, Christos Nasikas, Dionysis Zindros Cryptocurrency egalitarianism: A quantitative approach Tokenomics 2019 13 Thomas Kerber, Markulf Kohlweiss, Aggelos Kiayias, Vassilis Zikas Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake S&P 2019 14 Peter Gaži, Aggelos Kiayias, Dionysis Zindros Proof-of-Stake Sidechains S&P 2019 15 James Chapman, Roman Kireev, Chad Nester, Phil Wadler System F in Agda, for fun and profit MPC 2019 16 Roman Kireev, Chad Nester, Michael Peyton Jones, Philip Wadler, Vasilis Gkoumas, Kenneth MacKenzie Unraveling recursion: compiling an IR with recursion to System F MPC 2019 17 Mary Maller, Sean Bowe, Markulf Kohlweiss, Sarah Meiklejohn Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings ACM CCS 2019 18 Erica Blum, Aggelos Kiayias, Cristopher Moore, Saad Quader, Alexander Russell The Combinatorics of the Longest-Chain Rule: Linear Consistency for Proof-of-Stake Blockchains SODA 2020 19 Aggelos Kiayias, Andrew Miller, Dionysis Zindros Non-Interactive Proofs of Proof-of-Work FC'20 20 Kostis Karantias, Aggelos Kiayias, Dionysis Zindros Proof-of-Burn FC'20 21 Manuel Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler The Extended UTXO Model WTSC 2020 22 Aggelos Kiayias, Saad Quader, Alexander Russell Consistency in Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders ICDCS 2020 23 Kostis Karantias, Aggelos Kiayias, Dionysis Zindros Smart Contract Derivatives Marble 2020 24 Lars Brünjes, Aggelos Kiayias, Elias Koutsoupias, Aikaterini-Panagiota Stouka Reward Sharing Schemes for Stake Pools Euro S&P 2020 25 Michele Ciampi, Nikos Karayannidis, Aggelos Kiayias, and Dionysis Zindros Updatable Blockchains ESORICS 2020 26 Dimitris Karakostas, Aggelos Kiayias, Mario Larangeira Account Management in Proof of Stake Ledgers SCN 2020 27 Stelios Daveas, Kostis Karantias, Aggelos Kiayias and Dionysis Zindros A Gas-Efficient Superlight Bitcoin Client in Solidity AFT 2020 28 Aydin Abadi, Michele Ciampi, Aggelos Kiayias, Vassilis Zikas Timed Signatures and Zero-Knowledge Proofs Timestamping in the Blockchain Era ACNS 2020 39 Manuel M T Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler UTXOma: UTXO with Multi-Asset Support ISoLA 2020 30 Manuel M T Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler Native Custom Tokens in the Extended UTXO Model ISoLA 2020 31 Emilios Avgouleas, Aggelos Kiayias The Architecture of Decentralised Finance Platforms: A New Open Finance Paradigm Edinburgh School of Law Research Paper No. 2020/16 32 Juan Garay, Aggelos Kiayias, Giorgos Panagiotakos Blockchains from Non-Idealized Hash Functions TCC 2020 33 Christian Badertscher, Ran Canetti, Julia Hesse, Björn Tackmann, Vassilis Zikas Universal Composition with Global Subroutines: Capturing Global Setup within plain UC TCC 2020 34 Mathias Fitzi, Peter Gaži, Aggelos Kiayias, Alexander Russell Ledger Combiners for Fast Settlement TCC 2020 35 Peter Gaži, Aggelos Kiayias, Alexander Russell Tight Consistency Bounds for Bitcoin ACM CCS 2020 36 Christian Badertscher, Alexandru Cojocaru, Leo Colisson, Elham Kashefi, Dominik Leichtle, Atul Mantri, Petros Wallden Security Limitations of Classical-Client Delegated Quantum Computing Asiacrypt 2020 37 Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss Kachina - Foundations of Private Smart Contracts CSF 2021 38 Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss Mining for Privacy: How to Bootstrap a Snarky Blockchain FC'21 39 Manuel Chakravarty, Sandro Coretti, Mathias Fitzi, Peter Gazi, Philipp Kant, Aggelos Kiayias, Alexander Russell Hydra: Fast Isomorphic State Channels FC'21 40 Alexei Zamyatin, Mustafa Al-Bassam, Dionysis Zindros, Eleftherios Kokoris-Kogias, Pedro Moreno-Sanchez, Aggelos Kiayias, William J. Knottenbelt SoK: Communication Across Distributed Ledgers FC'21 41 Karim Baghery, Markulf Kohlweiss, Janno Siim, Mikhail Volkhov Another Look at Extraction and Randomization of Groth's zk-SNARK FC'21 42 Dimitris Karakostas, Nikos Karayannidis, Aggelos Kiayias Efficient State Management in Distributed Ledgers FC'21 43 Aydin Abadi, Aggelos Kiayias Multi-instance Publicly Verifiable Time-lock Puzzle and its Applications FC'21 44 Dimitris Karakostas, Aggelos Kiayias Securing Proof-of-Work Ledgers via Checkpointing ICBC 2021 45 Christian Badertscher, Peter Gaži, Aggelos Kiayias, Alexander Russell, Vassilis Zikas Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake Eurocrypt 2021 This article was published on 2024-03-18