Venue: Ballroom (2nd Floor), Holiday Inn Xi’an Greenland Century City
| December 9: Registration | |
| 14:00-17:30 | Registration at the hotel lobby |
| December 10: ORAM/trusted hardware day organized by Ling Ren (VMWare Research and UIUC) |
|
| 09:00-09:15 | Opening Ceremony |
| 09:15-10:00 | Lower Bounds for Oblivious Data Structures Riko Jacob |
| 10:00-10:30 | Coffee Break |
| 10:30-11:15 | Is there an Oblivious RAM Lower Bound for Online Reads? Mor Weiss |
| 11:15-12:00 | Private Stateful Information Retrieval Kevin Yeo |
| 12:00-13:30 | Lunch |
| 13:30-14:15 | Meltdown, Spectre and Foreshadow: How a Small Side Channel Leakage Becomes a Big Problem Daniel Genkin |
| 14:15-15:00 | Data Oblivious ISA Extensions for Side Channel-Resistant and High Performance Computing Chris Fletcher |
| 15:00-15:30 | Coffee Break |
| 15:30-16:00 | OptORAMa: Optimal Oblivious RAM Wei-Kai Lin |
| 16:00-16:30 | Scaling ORAM for Secure Computation Jack Doerner |
| 16:30-17:00 | InvisiSpec: Making Speculative Execution Invisible in the Cache Hierarchy Mengjia Yan |
| December 11: ZKP Day 1 organized by Muthu Venkitasubramaniam (Rochester and Cornell Tech) |
|
| 09:30-10:30 | Efficient Zero-Knowledge Protocols: The Modular Approach Yuval Ishai |
| 10:30-11:00 | Group Photo + Coffee Break |
| 11:00-12:00 | Zero-Knowledge from MPC Carmit Hazay |
| 12:00-13:30 | Lunch |
| 13:30-14:30 | Hyrax: An IP-based Approach to ZK for Blockchains Abhi Shelat |
| 14:30-15:30 | Aurora: Transparent zkSNARKs for R1CS Nick Spooner |
| 15:30-16:00 | Coffee Break |
| 18:00-20:00 | Banquet |
| December 12: ZKP Day 2 | |
| 09:30-10:30 | Bulletproofs (and beyond?): Designing Efficient Zero-Knowledge Proofs Jonathan Bootle |
| 10:30-11:00 | Coffee Break |
| 11:00-12:00 | Zether: Towards Privacy in a Smart Contract World Benedikt Bünz |
| 12:00-13:00 | Lunch |
| December 13: Blockchain Day 1 | |
| 09:15-10:15 | An Economic Analysis of the Bitcoin Payment System Jacob Leshno |
| 10:15-10:30 | Coffee Break |
| 10:30-11:15 | Bribery & Nakamoto consensus (slide) Joe Bonneau |
| 11:15-11:45 | Decentralized Mining in Centralized Pools Jiasun Li |
| 12:00-13:00 | Lunch |
| 13:00-13:45 | Scaling Nakamoto Consensus to Thousands of Transactions per Second Fan Long |
| 13:45-14:00 | Coffee Break |
| 14:00-14:30 | Consensus with Sporadic Participation Rafael Pass |
| 14:30-15:00 | Synchronous, with a chance of partition tolerance Yue Guo |
| 15:00-15:10 | Break |
| 15:10-15:40 | Scaling Cryptocurrencies via State Channels Patrick Mccorry |
| 15:40-16:00 | HotStuff: BFT Replication in the Lens of Blockchain (hotstuff-winter-slides) Ted Yin |
| 16:00-17:00 | Lightning talks (+jiasun, plasma) |
| December 14: Blockchain Day 2 | |
| 09:15-10:15 | A Separation of Consensus and State Ben Fisch |
| 10:15-10:30 | Coffee Break |
| 10:30-11:00 | Append-only Authenticated Dictionaries and Their Applications (AADs) (slide) Alin Tomescu |
| 11:00-11:30 | Initial Coin Offerings and Platform Building Jiasun Li |
| 11:30-12:00 | Automatic Exploitation of Ethereum Smart Contracts Johannes Krupp |
| 12:00-13:30 | Lunch |
| 13:30-14:00 | Practical Data Usage Control through a TEE-based Protocol Raymond Gao |
| 14:00-14:30 | Automated Vulnerability Detection for Blockchain Ecosystems James Yang |
| 14:30-15:00 | Code similarity-based Crytocurrency Genogram Ting Liu |
| 15:00-15:30 | SAF Social Impact session |
