News
Malte Mues defends Doctoral Dissertation
Malte successfully defended his dissertation project on the integration of dynamic symbolic execution and multi-color taint analysis.
BMBF funding for Project QuARum
The QuARUm project, a collaboration between Constructor University and TU Dortmund University, aims to develop a low-code platform for geoscientists.
AQUA featured in CS@ TU Dortmund promotional video
Our research and teaching on software engineering for autonomous driving is featured in the promotional video of the CS department of TU Dortmund!
DFG funding for project STING
The STING project researches formal methods for finding exploits in Web applications.
Fabian Bruckner defends Doctoral Dissertation
Fabian successfully defended his dissertation project in which he developed concepts for enforcing data usage control requirements in DSLs.
JDart wins GOLD in SV-COMP 2022 for Java
Our dynamic symbolic execution JDart wins GOLD in this year's Software Verification competition for the Java category.
BMBF funding for project KomDatis
The projects will develop a general data escrow concept in a collaboration with Fraunhofer ISST and DKSR.
ACM Distinguished Paper Award for ASE 2021
Paper "Data-driven design and evaluation of SMT meta-solving strategies: balancing performance, accuracy, and cost" receives Distinguished Paper Award
Falk Howar receives Amazon Research Award
The funded project aims at scaling symbolic execution for the Java VirtualMachine.