Monday, October 21

9:00: Welcome

9:10: Session 1:
  • Paralysis Proofs: Secure Dynamic Access Structures for Cryptocurrency Custody and More. Fan Zhang (Cornell), Philip Daian (Cornell), Iddo Bentov (Cornell University), Ian Miers (Cornell University), Ari Juels (Jacobs Institute)
  • PISA: Arbitration Outsourcing for State Channels. Patrick McCorry (PISA Research), Surya Bakshi (UIUC), Iddo Bentov (Cornell University), Sarah Meiklejohn (UCL), Andrew Miller (University of Illinois at Urbana-Champaign)
  • Outpost: A Responsive Lightweight Watchtower. Tejaswi Nadahalli (ETH Zurich), Majid Khabbazian (University of Alberta), Roger Wattenhofer (ETH Zurich)

10:10: Coffee break

10:40: Session 2:
  • SoK: Sharding on Blockchain. Gang Wang (University of Connecticut), Zhijie Jerry Shi (University of Connecticut), Mark Nixon (Emerson Automation Solutions), Song Han (University of Connecticut)
  • On the optionality and fairness of Atomic Swaps. Runchao Han (Monash University and CSIRO-Data61), Haoyu Lin (), Jiangshan Yu (Monash University)
  • Spams meet Cryptocurrencies: Sextortion in the Bitcoin Ecosystem. Masarah Cynthia Paquet-Clouston (Gosecure), Matteo Romiti (Austrian Institute of Technology), Bernhard Haslhofer (Austrian Institute of Technology), Tomas Charvat (Excello)
  • Competing (Semi)-Selfish Miners in Bitcoin. Francisco Marmolejo-Cossío (University of Oxford), Eric Brigham (New College of Florida), Benjamin Sela (University of Maryland), Jonathan Katz (University of Maryland)

12:00: Lunch

13:30: Session 3: Highlights
  • From NDSS’19: SABRE: Protecting Bitcoin against Routing Attacks. Maria Apostolaki (ETH), Gian Marti (ETH), Jan Müller (ETH), Laurent Vanbever (ETH)
  • From NDSS’19: Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks. Michael Rodler (University of Duisburg-Essen, Germany), Wenting Li (NEC Laboratories Europe, Germany), Ghassan O. Karame (NEC Laboratories Europe, Germany), Lucas Davi (University of Duisburg-Essen, Germany)
  • From NDSS’19: Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability. Giulio Malavolta (Friedrich-Alexander-University Erlangen-Nurnberg), Pedro Moreno Sanchez (TU Wien), Clara Schneidewind (TU Wien), Aniket Kate (Purdue University), Matteo Maffei (TU Wien)
  • From USENIX Security’19: Tracing Transactions Across Cryptocurrency Ledgers. Haaroon Yousaf (University College London), Sarah Meiklejohn (University College London), George Kappos (University College London)
  • From USENIX Security’19: The Anatomy of a Cryptocurrency Pump-and-Dump Scheme. Jiahua Xu (École polytechnique fédérale de Lausanne (EPFL)), Benjamin Livshits (Imperial College London)

15:10: Coffee break

15:40: Session 4: Tutorial
  • The Ouroboros Proof-of-Stake Blockchain Protocols. Christian Badertscher, Aggelos Kiayias (Uni Edinburgh and IOHK)

Tuedsay, October 22

9:00: Session 5: Keynote
    Angela Walch (Professor of Law at St. Mary’s University School of Law. Research Fellow at the Centre for Blockchain Technologies at University College London): CryptoSpeak

10:00: Coffee break

10:30: Session 6: Tutorial
  • Off The Chain Transactions. Arthur Gervais (Imperial College London, HSLU, Liquidity Network)

12:00: Lunch

13:30: Session 7:
  • Impossibility of Full Decentralization in Permissionless Blockchains. Yujin Kwon (KAIST), Jian Liu (UC Berkeley), Minjeong Kim (KAIST), Dawn Song (UC Berkeley), Yongdae Kim (KAIST)
  • An Axiomatic Approach to Block Rewards. Xi Chen (Columbia University), Christos Papadimitriou (Columbia University), Tim Roughgarden (Columbia University)
  • Semi-Quantum Money. Roy Radian (Ben-Gurion University), Or Sattath (Ben-Gurion University)
  • Quantum Algorithms for Portfolio Optimization. Daniel Szilagyi (IRIF), Anupam Prakash (IRIF), Iordanis Kerenidis (IRIF)
  • Libra: Fair Order-Matching for Electronic Financial Exchanges. Vasilios Mavroudis (University College London), Hayden Melton (Refinitiv), Vasilios Mavroudis (UCL)

15:10: Coffee break

15:40: Session 8:
  • An Eye for an Eye: Economics of Retaliation in Mining Pools. Yujin Kwon (KAIST), Hyoungshick Kim (Sungkyunkwan University), Yung Yi (KAIST), Yongdae Kim (KAIST)
  • SoK: Consensus in the Age of Blockchains. Shehar Bano (University College London), Alberto Sonnino (University College London), Mustafa Al-Bassam (University College London), Sarah Azouvi (University College London), Patrick McCorry (King’s College London), Sarah Meiklejohn (University College London), George Danezis (University College London), Mustafa Al-Bassam (University College London)
  • Kadcast: A Structured Approach to Broadcast in Blockchain Networks. Elias Rohrer (Technical University of Berlin), Florian Tschorsch (Technical University of Berlin)
  • Aleph: Efficient Atomic Broadcast in Asynchronous Networks with Byzantine Nodes. Adam Gągol (Aleph Zero Foundation), Damian Leśniak (Aleph Zero Foundation), Damian Straszak (Aleph Zero Foundation), Michał Świętek (Aleph Zero Foundation)

17:00: Business meeting

17:30: Light reception

Wednesday, October 23

9:20: Session 9: Highlights
  • From Oakland’19: Redactable Blockchain in the Permissionless Setting. Dominic Deuber (Friedrich-Alexander-Universitat Erlangen-Nurnberg, Germany), Bernardo Magri (Aarhus University, Denmark), Sri Aravinda Krishnan Thyagarajan (Friedrich-Alexander-Universitat Erlangen-Nurnberg, Germany)
  • From NDSS’19: Fine-Grained and Controlled Rewriting in Blockchains: Chameleon-Hashing Gone Attribute-Based. David Derler (DFINITY), Kai Samelin (TUV Rheinland i-sec GmbH), Daniel Slamanig (AIT Austrian Institute of Technology), Christoph Striecks (AIT Austrian Institute of Technology)

10:00: Coffee break

10:30: Session 10: Highlights
  • From USENIX Security’19: BITE: Bitcoin Lightweight Client Privacy using Trusted Execution. Sinisa Matetic (ETH Zurich), Karl Wüst (ETH Zurich), Moritz Schneider (ETH Zurich), Kari Kostiainen (ETH Zurich), Ghassan Karame (NEC Laboratories), Srdjan Capkun (ETH Zurich)
  • From Oakland’19: Perun: Virtual Payment Hubs over Cryptocurrencies. Stefan Dziembowski (University of Warsaw), Lisa Eckey (TU Darmstadt), Sebastian Faust (TU Darmstadt), Daniel Malinowski (University of Warsaw)
  • From CCS’18: A better method to analyze blockchain consistency. Lucianna Kiffer (Northeastern University), Rajmohan Rajaraman (Northeastern University), Abhijeet Shelat (Northeastern University)
  • From Oakland’19: Lay Down the Common Metrics: Evaluating Proof-of-Work Consensus Protocols’ Security. Ren Zhang (Nervos & imec-COSIC, KU Leuven), Bart Preneel (imec-COSIC, KU Leuven)

11:50: Lunch

13:20: Session 11: Tutorial
  • Marlowe: Financial Contracts on Blockchain. Simon Thompson et al. (Uni Kent and IOHK)

For any discrepancies or issues please email