Our group exists since 2009 at the Institute of Theoretical Informatics. The main research question is the practical application of logic, formal methods, specification and verification in software engineering. We are addressing the following research topics for the application of formal methods in software engineering:
CVE-2016-6313 - Critical bug in the GnuPG/Libgcrypt PRNG found with the help of the Entroposcope tool, developed by Felix Dörre and Dr. Vladimir Klebanov as part of the DeduSec project within the RS³ priority programme. The paper describing how Entroposcope works was presented at ACM CCS 2016 in Vienna in October 2016.