Research Team Finds Security Gaps in Software Systems
- Artificial Intelligence
- Top News
- Research

Prof. Howar, what is your award-winning project about?
The focus of the research I conduct with my team at TU Dortmund University is on the analysis and protection of autonomous and safety-critical software systems. We are particularly interested in the use of learning and formal methods of analyzing the behavior of these systems. The aim of our work is to test software systems for potential security gaps. In the funded project, we use automated reasoning – in other words, symbolic reasoning based on logic – which is a branch of artificial intelligence. A research tool called “JDart” – a framework for the dynamic, symbolic execution of Java bytecode that we’ve been developing for quite some time – forms the basis of this new project. We are now scaling the tool so that we can use it to test the security of industrial web applications.