Formal methods for reliable software and properly configured systems secure by default.