| Date | Time | Speaker | Talk Title |
|---|---|---|---|
| Saturday, October 5th | 08:30 AM - 08:50 AM | Coffee | |
| 08:50 AM - 09:00 AM | Vijay Ganesh | Opening Remarks | |
| 09:00 AM - 10:00 AM | Richard Ma , Martin Derka , Jan Gorzny | Reflections on Smart Contract Security - Part 1, Part 2 | |
| 10:00 AM - 11:00 AM | Grigore Rosu | Formal Design, Implementation and Verification of Blockchain Languages | |
| 11:00 AM - 11:30 AM | Coffee Break | ||
| 11:30 AM - 12:300 PM | Sergey Gorbunov | Enabling Blockchain Scalability via Powerful Cryptographic Tools | |
| 12:30 PM - 02:00 PM | Lunch | ||
| 02:00 PM - 03:00 PM | Florian Kerschbaum | Sealed-bid Auctions Over the Blockchain | |
| 03:00 PM - 04:00 PM | Petar Tsankov | Safety verification of smart contracts | |
| 04:00 PM | End of Day | ||
| 07:00 PM | Workshop Dinner | Location: University Club | |
| Sunday, October 6th | 08:30 AM - 09:00 AM | Coffee | |
| 09:00 AM - 10:00 AM | Fan Long | Detecting Standard Violation Errors in Smart Contracts | |
| 10:00 AM - 11:00 AM | Prateek Saxena | Better Consensus in the Bitcoin Model | |
| 11:00 AM - 11:30 AM | Coffee Break | ||
| 11:30 AM - 12:300 PM | David L. Dill | Trustworthy Smart Contracts on the Libra Blockchain | |
| 12:30 PM - 02:00 PM | Lunch | ||
| 02:00 PM - 03:00 PM | Vijay Ganesh | Solvers for Security Analysis of Smart Contracts | |
| 03:00 PM - 04:00 PM | Andreas Veneris | Permissionless Decentralized Blockchain Oracles | |
| 04:00 PM | End of Day | ||
| 07:00 PM | Speakers dinner | Location: Sole Restaurant |