Slide 68
Slide 68 text
tool tips
use safer languages (Rust, Ada, Coq,
Idris)
use sandboxes (Docker, WASM,KKL)
Write tests
Type systems
it's 2019, get yourself an IDE
use common libraries
use linters (awesome static analysis)
don't roll your own crypto!