Information security and object technology (ISOT) research lab
The Information Security and Object Technology (ISOT) Research Lab was founded in 1999, and since then has been carrying innovative research in computer security and software engineering.
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.