Papers
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 |