3^rd Workshop on Bitcoin and Blockchain Research

In Assocation with Financial Cryptography 16
February 26, 2016
Accra Beach Hotel & Spa
Barbados

Program

Location: Khairoon (Same room as FC)

#financrypt

9:25 Opening Remarks

9:30 Keynote Address

• Nathaniel Popper, New York Times

10:30 Coffee Break

11:00 Session 1: Bitcoin network analysis

• Stressing Out: Bitcoin "Stress Testing"
  Khaled Baqer, Danny Yuxing Huang, Damon McCoy, Nicholas Weaver


• Why buy when you can rent? Bribery attacks on Bitcoin-style consensus
  Joseph Bonneau

11:35 Session 2: Enhancing Bitcoin

• Automated Verification of Electrum Wallet
  Mathieu Turuani, Thomas Voegtlin, Michaël Rusinowitch


• Blindly Signed Contracts: Anonymous On-Blockchain and Off-Blockchain Bitcoin Transactions
  Ethan Heilman, Foteini Baldimtsi, Sharon Goldberg


• Proofs of Proofs of Work with Sublinear Complexity
  Aggelos Kiayias, Nikolaos Lamprou, Aikaterini-Panagiota Stouka

12:30 Lunch

14:00 Session 3: Ethereum

• Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
  Kevin Delmolino, Mitchell Arnett, Ahmed Kosba, Andrew Miller, Elaine Shi


• EtherIKS: Using Ethereum to audit a CONIKS key transparency log
  Joseph Bonneau

14:35 Invited Talk

• Ethereum Protocol & Client Implementations Security
  Gustav Simonsson, Ethereum

15:20 Coffee Break

15:50 Session 4: Blockchain Architecture

• On Scaling Decentralized Blockchains (A Position Paper)
  Kyle Croman, Christian Decker, Ittay Eyal, Adem Efe Gencer, Ari Juels, Ahmed Kosba, Andrew Miller, Prateek Saxena, Elaine Shi, Emin Gun Sirer, Dawn Song, Roger Wattenhofer


• Bitcoin Covenants
  Malte Möser, Ittay Eyal, Emin Gün Sirer


• Cryptocurrencies without Proof of Work
  Iddo Bentov, Ariel Gabizon, Alex Mizrahi

16:45 Demo

• History in the making: The first zero-knowledge contingent payment
  Sean Bowe, zcash

This conference is organized annually by the International Financial Cryptography Association in cooperation with IACR.