Notice: Undefined index: HTTP_ACCEPT_LANGUAGE in /misc/HomePages/i57/htdocs/core/site.php on line 90
KIT - Application-oriented Formal Verification - Homepage


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:

  • Development and application of relational verification techniques
  • Proving information-flow properties
  • Methods to prove properties for voting schemes and further social choice algorithms


CVE-2016-6313: Critical bug found in PRNG (August 2016)

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.

Institute of Theoretical Informatics

Am Fasanengarten 5
76131 Karlsruhe
Phone: +49 721 608-44023
Fax:     +49 721 608-44021
Email: simone meinhartHfu8∂kit edu