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
- Evidence based policing (of booters)
- Hiring for AP4L
- Chatcontrol or Child Protection?
- ML models must also think about trusting trust
- Assistant/Associate Professor in Security and Privacy
- The Online Safety Bill: Reboot it, or Shoot it?
- Talking Trojan: Analyzing an Industry-Wide Disclosure
- ExtremeBB: Supporting Large-Scale Research into Misogyny and Online Extremism
- The Dynamics of Industry-wide Disclosure
- Formal CHERI: rigorous engineering and design-time proof of full-scale architecture security properties
Featured projects
- Links and resources
- Security-related talks
- Journals
- Mailing lists