Security Group
Computer security has been among the Laboratory’s research interests
for many years, along with related topics such as cryptology, formal
methods, hardware design, biometrics, and the robustness of
distributed systems in general.
We hold meetings, seminars and workshops, which are described in more detail in subsequent pages. Attendance is not restricted to members of the Computer Laboratory; we welcome visitors from other universities, companies, and other organisations.
Much of our best research has been inspired by tackling real problems, and our funding comes from a wide range of sources; we collaborate with commerce and industry both in the UK and overseas. We are always happy to discuss potential projects, commercial sponsorship and consultancy assignments.
News and views
- The Dynamics of Industry-wide Disclosure
- Formal CHERI: rigorous engineering and design-time proof of full-scale architecture security properties
- Text mining is harder than you think
- WEIS 2022 – Liveblog
- Reporting cybercrime is hard: NCA link to Action Fraud broken for 3 years
- Security and Human Behaviour 2022
- European Commission prefers breaking privacy to protecting kids
- Hiring for iCrime
- A striking memoir by Gus Simmons
- Security course at Cambridge
Featured projects
- Links and resources
- Security-related talks
- Journals
- Mailing lists