In this episode, we host David Wong, a security engineer at Facebook. We discuss bugs in crypto protocols, the security of blockchain systems, formal verification, and the `Real World Cryptography` book he's writing.