Computer security group
The computer security group works on all aspects of computer security. The group's ethos is to work with industry and government to tackle problems that are important to society.
Research topics
The group conducts research in the following topics.
| Security and privacy protocols | |
| Web and network security | |
| Software security | |
| Statistics and information flow | |
| Cloud computing security | |
| Malware | |
| Access control | |
| Applied cryptography |
Currently funded projects
- Analysing Security and Privacy Properties (leadership fellowship)
- Trust Domains - A Framework for Modelling and Designing E-Service Infrastructures for Controlled Sharing of Information
- New Techniques for Finding and Analysing Information Leaks
- Trustworthy Voting Systems
- Verifying Interoperability Requirements in Pervasive Systems
- Verifying anonymity and privacy properties of security protocols
Past funded projects
- Verifying Properties in Electronic Voting Protocols
- Policy languages for access control (IBM Faculty Award)
- Verification of state-based access control (Microsoft PhD studentship)
- UbiVal: Fundamental approaches to validation of ubiquitous computing applications and infrastructures