Devising solutions to enable the detection and reduction of security vulnerabilities arising in complex, interconnected software systems
Together with partners such as the Defence Science and Technology (DST), researchers in formal methods and secure software engineering from ITEE are working on solutions which enable the detection and reduction of security vulnerabilities arising in complex, interconnected software systems, and developing interactive and automated tools to assist with identifying and analysing such vulnerabilities. This work includes enabling secure software development via the use of programming languages customised for analysis with fully automatic tools.
Get in touch with Graeme Smith for more details.
