In the Media

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

News Archive

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.x.

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)