Research

Key research areas

Our research capability is focused on key challenges, including detecting attacks in large, complex systems, using formal methods to design platforms that are resilient to attack, designing robust controllers for critical infrastructure, and providing a legal framework for the governance of cyber operations that span a range of jurisdictions.

• Cybersecurity management

• Network security and analytics

• Privacy and government

• Verification and formal methods