Our vision is the transformation of security system development from an error-prone, iterative build-test-fix approach to a correctness-by-construction (CxC) approach whereby formal methods guide the design of software in such a way that it satisfies its specification by construction. The impact of this will be to reduce overall development costs, while increasing trustworthiness, of security-critical systems...
Southampton's HD-Sec is working with the DSbD ecosystem to create formal methods to guide software design which will speed up the process and reduce errors a...