Media and News

In the Media

Most of the articles linked here are in German unless indicated otherwise.

News Archive

New topics for student theses

We offer a wide range of new topics for master and bachelor theses in areas such as verification of PLCs, extension of the KeY verification approach, formalisation/verification of social choice properties, and much more. Besides the advertised topics, we are open to your ideas within our research fields. If you are interested, please contact the respective members of our group.

Topics and Research Fields for Student Theses

The new KeY Book is available

The new book covers deductive software verification as realised by the KeY approach. It constitutes the ultimate source for the KeY tool since version 2.6.

The KeY book is published by Springer as vol. 10001 in the LNCS series) and available at Springer Link.

More information

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.

Update: Presentation at the 33th Chaos Communication Congress (33C3)