The main research thread pursued in the ISOT Lab lies in rigorous development of secure and dependable computing systems and in the protection of these systems. Our recent and current research activities include the following:
1. Development of innovative behavioral biometrics technologies and their application for continuous user authentication. |
||
2. Development of proactive techniques for intrusion detection based on Artificial Intelligence and statistical techniques. |
||
3. Development of intelligent approaches for automating computer and network forensics investigation processes. |
||
4. Development of an integrated framework for rigorous validation and verification of critical software systems that covers various stages of software lifecycle. |
||
5. Development of rigorous methods for software security monitoring, testing, and measurement. |
||
The general approach adopted in our work consists of using knowledge from the fields of Artificial Intelligence and Mathematics (e.g. formal logic, probability theory etc.) to address some of the challenges posed by dependable and secure computing. Computer security is a truly interdisciplinary field, which requires strong knowledge of systems, networks and software. A popular security design principle recommends always securing the weakest link. In the vulnerability chain of computing systems, the weakest link can be either at the system level, or the application level or the network level. So it is essential to investigate how these different layers interact and can impact the overall system security. In this regard our interests lie in the development of integrated approaches that provide strong and resilient security solutions.
