Human Readable Security
As cryptographic systems and Blockchains become more common, this talk explores how can we make it easier for normal humans to know what they're doing is secure and how Cadence (smart contract language) approaches the problem of human-readable security as a first level feature of the language.