Research of Michael Huth |
|
Research strategy
My passion is to work with people who share my interest in blue-sky research and in transferring knowledge and tools from foundations into application domains.
The strategic and long-term aim of my security research is to develop and invent foundations for security engineering that incorporate models of systems and users as an integral part of system development, validation, and deployment.
At present, I study approaches to access control that are rooted in social relationships, as well as the security and compliance of process-aware information systems.
Research interests
- Security, Access Control, Security & Software Engineering
- Probabilistic Model Checking & Abstraction
- Program Analysis & Software Verification
- Cryptography, Algorithmic Game Theory
Funding
- Complete and Efficient Checks for Branching-Time Abstractions
- Efficient Specification Pattern Library for Model Validation
Current PhD Students
- Paul Bilokon (first supervisor is Prof Abbas Edalat)
- Jim Huan-Pu Kuo
- Huaxin Wang, graduated June 2007 with MEng thesis Framework for Under-Approximating Solutions of Parity Games in Polynomial Time
Resources
- Departmental Security Research
- publication list and bib references
- publications listed in DBLP Bibliography Server
Gone But Not Forgotten
- Dr Adam Antonik, former PhD student from October 2005 to September 2008, thesis Decision problems for partial specifications: empirical and worst-case complexity
- Dr Billiejoe (Nathaniel) Charlton, former PhD student from October 2004 to September 2008, thesis Cooperatively combining program verifiers: foundation and tool support
- Dr Harald Fecher, former DFG-funded postdoctoral visitor from April to November 2007
- Dr William Heaven (first supervisor was Dr Alessandra Rousso), former PhD student, graduated January 2008
- Dr Altaf Hussain (first supervisor was Prof Ian Hodkinson), former PhD Student, graduated April 2007
- Dr Nir Piterman, EPSRC-funded Research Associate from August 2007 to September 2010
- Dr Daniel Wagner, former PhD student from April 2007 to October 2010, thesis Finite-State Abstractions for Probabilistic Computation Tree Logic