![Person pointing finger at screen](/sites/default/files/styles/banner_image_1500x330/public/2019-04/secure-systems-research-group-top-banner.jpg?itok=Wi7fpJOG)
Research
The exponential growth of computer technology has revolutionised the way we do business, organise our lives and interact socially – but has also brought new and ever-growing challenges in terms of security.
Research themes
We apply formal modelling to create methods and techniques which mitigate the cyber security threats, using a range of approaches to develop solutions that will enable society and industry to benefit from advanced technology in a secure way.