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.


![[Translate to English:] Partner Four hands are holding the green logo of TU Dortmund University](/storages/tu_website/_processed_/1/d/csm_Partner_Nicole_Rechmann_KW_670eba0154.jpg)




![[Translate to English:] Forschung An apparatus with tubes in a laboratory](/storages/tu_website/_processed_/0/c/csm_Forschung_Juergen_Huhn_4fa3153b51.jpg)
![[Translate to English:] Studium Five students are sitting in a lecture hall. They are talking to each other.](/storages/tu_website/_processed_/c/9/csm_Studium_FelixSchmale_dbdbfb0dd7.jpg)




