RT DW A1 Len, Julia. T1 Designing Secure-by-Default Cryptography for Computer Systems