|
Dr 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 Guilin Wang's research is mostly in cryptography, particularly in the areas of digital signature schemes, authentication protocols and RFID. He was also programme co-chair for the 10th International Conference on Information and Communications security in 2008.
|
|
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.
|
|
|