We are seeking proposals that increase both robustness and the quantification and trustworthiness of ML concepts, techniques and technologies with a particular focus on applicability to Cyber Security.
This research will focus on using the SDN technology to formally verify and enforce that distributed systems apply and conform to a set of policies.
This research will focus on identifying and mitigating data privacy issues relating to AI and machine learning inference models.
This research will focus on exploring approaches to optimize the privacy and utility of analytics extraction at the end-user or the networks edge addressing adequate systems design to offer privacy/security to users, personalised AI-based products with low network delay and large-scale data-collection and exchange.
We are seeking collaborative research proposals that can guide and shape the development of the next generation of formal methods tools capable of attacking such large-scale problems as arise in verifying safety and security in Defence systems.
The long-term goal of this research program is to develop symbolic execution techniques that enable portable and practical tools for use in responding to previously unknown cyberattacks as they occur.
The research will investigate formal methods to model and verify the dynamic processes of network control protocols to discover potential vulnerabilities.
The long-term objective of this project is to extend and develop automatic program analysis tools that are built on previous logic, and to integrate those tools within a secure software development process.
This project should aim to investigate what individual differences and what patterns of user behaviour can predict people’s vulnerability, directly and indirectly, to cyber threats.