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.
- European Association of Psychology and Law Conference 2014
- The CHERI capability model: Revisiting RISC in an age of risk (ISCA 2014)
- EMV: Why Payment Systems Fail
- Workshop on the Economics of Information Security 2014
- Don’t shoot the demonstrators
- A Study of Whois Privacy and Proxy Service Abuse
- Why bouncing droplets are a pretty good model of quantum mechanics – seminar
- Talk videos
- Security and Human Behaviour 2014
- PhD studentship: Model-based assessment of compromising emanations