Agenda
This schedule is subject to change| 13:55 | Opening remarks |
Session 1: Invited Talk | |
| 14:00-15:00 | |
| Blockchain and Smart Contract Mechanism Design Challenges - slides | |
| Vitalik Buterin | |
| (Coindesk summary) | |
| 15:00 | Coffee break with poster session |
| Scripting smart contracts for distributed ledger technology | |
| Pablo Lamela Seijas, Simon Thompson and Darryl McAdams | |
| ZeroTrade: Privacy Respecting Assets Trading System based on Public Ledger | |
| Lei Xu, Lin Chen, Nolan Shah, Zhimin Gao, Yang Lu and Weidong Shi | |
Session 2 | |
| 15:30-16:00 | |
| Findel: Secure Derivative Contracts for Ethereum - slides | |
| Alex Biryukov, Dmitry Khovratovich and Sergei Tikhomirov | |
| Decentralized Execution of Smart Contracts: Agent Model Perspective and Its Implications - slides | |
| Lin Chen, Lei Xu, Nolan Shah, Zhimin Gao, Yang Lu and Weidong Shi | |
Session 3 | |
| 16:00-17:20 | |
| A Concurrent Perspective on Smart Contracts - slides | |
| Ilya Sergey and Aquinas Hobor | |
| An empirical analysis of smart contracts: platforms, applications, and design patterns - slides | |
| Massimo Bartoletti and Livio Pompianu | |
| Trust in Smart Contracts is a Process, As Well - slides | |
| Firas Al Khalil, Tom Butler, Leona O'Brien and Marcello Ceci | |
| Defining the Ethereum Virtual Machine for Interactive Theorem Provers - slides | |
| Yoichi Hirai | |
| 17:20 | Break |
Session 4 | |
| 17:30-18:30 | |
| SmartCast: An Incentive Compatible Consensus Protocol Using Smart Contracts - slides | |
| Abhiram Kothapalli, Andrew Miller and Nikita Borisov | |
| On the feasibility of decentralized derivatives markets - slides | |
| Shayan Eskandari, Jeremy Clark, Moe Adham and Vignesh Sundaresan | |
| A Proof-of-Stake protocol for consensus on Bitcoin subchains - slides | |
| Massimo Bartoletti, Stefano Lande and Alessandro Sebastian Podda | |
This conference is organized annually by the International Financial Cryptography Association in cooperation with IACR.