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.
Our Centre applies formal modelling to create methods and techniques which ensure the safety of computer systems.
There are six main research themes we works on which are listed below, within each theme there is a foundational element developing understanding, theory and new technologies, together with applications to specific problem domains and to building practical solutions.
Application areas cover a wide range across the cyber-security spectrum, including:
- New cryptographic schemes
- Security protocols
- Hardware-enhanced security
- Network security issues at different layers
- Formal security modeling and verification
- Human factors
- Secure electronic voting
- Key management
- Digital rights management and watermarking
- Image and video forensics
- Security economics
In addition to our local PhD student cohort, we also actively encourage undergraduate and masters students, from Surrey and visiting students from other universities, including overseas institutes, to conduct research work under supervision of our selected core members. This is not necessarily limited to physical visits at Surrey, but also remote collaborative research.
View our current research opportunities to find out more.