Designing Secure-By-Default Cryptography for Computer Systems