Blockchain Technology Laboratory

BTL Papers

Papers co-authored by members of the BTL

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