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.
SCCS applies formal modelling to create methods and techniques which ensure the safety of computer systems.
There are six main research themes the Centre 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
Research being conducted by the Centre is bringing impact to individuals, industry and society in areas including democracy, finance, future internet, health, law enforcement, automotive and rail.
The Centre’s work focuses on six main research themes, building on the University’s strengths and the expertise of the Centre’s members.
In addition to its local PhD student cohort, SCCS is also actively encouraging students (UG and MSc) of taught programme at Surrey and visiting students from other universities including overseas institutes to conduct research work under supervision of selected SCCS core members. This is not necessarily limited to physical visits at Surrey, but also remote collaborative research.
View a separate page listing current research opportunities at SCCS for UG/MSc students and visiting MSc/PhD students.