3. First research paper Smart Contract Templates: foundations, design landscape and research directions • position paper presenting vision • foundations (terminology, automation, enforceability, semantics), e.g.: “A smart contract is an agreement whose execution is both automatable and enforceable. Automatable by computer, although some parts may require human input and control. Enforceable by either legal enforcement of rights and obligations or tamper-proof execution.” • design landscape (parameter sophistication, code commonality, long-term research) • joint Barclays-UCL authorship • publicly released in August 2016 ert UNRESTRICTED 12

02/ Smart Contract Templates: Progress - Page 7 02/ Smart Contract Templates: Progress Page 6 Page 8