"Don't roll your own crypto" is an aphorism about cryptography. This talk discusses techniques to avoid bugs in cryptography code, including formal methods and proof assistants, with examples from industry and research.