|
Prof Mark Ryan (programme director) does research in computer
security protocols. His recent work on analysing the protocols of
the TPM (a hardware security chip) was done jointly with Hewlett
Packard Labs. He has also worked on devising secure systems for
electronic voting. He was programme co-chair for the 10th
International Conference on Information and Communications Security
in 2008.
|
|
|
Dr Marco Cova is interested in web security, vulnerability
analysis, electronic voting and intrusion detection. He teaches
network security.
|
|
Dr Volker Sorge teaches cryptography, although his research interests are broader. He works on logic and automated reasoning (automating mathematical reasoning) and on computer algebra.
|
|
|
Dr Hayo Thielecke's research is in software security, including program analysis and programming language constructs, particularly pointers and concurrency. He teaches secure programming.
|
|
Dr Tom Chothia researches formal methods to design and analyse distributed security systems. He has discovered flaws in a widely used anonymous file-sharing system, and shows a fix to stop the attack. He teaches security programming on our internet computing workshop module.
|
|
|
Dr Eike Ritter teaches systems programming in C and C++, and operating
systems. His research in computer security concerns mathematically
verifying the correctness of systems with respect to abstractly stated
requirements (such as observational equivalence). He also does
research in programming language design.
|
|
Dr Liqun Chen (HP Labs) is an honorary senior lecturer. Her research
is on cryptography, computer and network security, mobile
telecommunication system security, and secure electronic commerce.
|
|
|
|
Shishir Nagaraja teaches network security, and he is also
interested in anonymous communications, privacy and graph theory,
network resilience bot-nets, ad-hoc networks and the economics of
information security.
|
|