Blockchain Protocol Analysis Security Engineering 2017
- Jeremy Rubin - Covenants - Structuring Multi Transaction Contracts in Bitcoin
- Dan Robinson - Ivy - A Declarative Predicate Language for Smart Contracts
- Olaoluwa Osuntokun - Lightning Network Security Analysis
- Russell Oconnor - Posts Theorem
- Peter Todd - Scalable Smart Contracts Via Proofs And Single Use Seals