On September 4-6, the final event of the DFG priority program Reliably Secure Software Systems (RS³) that has been coordinated since 2010 by Prof. Heiko Mantel, took place at Jagdschloss Kranichstein in Darmstadt. The program featured presentations of the results of all RS³ projects as well as the case studies in the joint application scenarios and a panel discussion on "Formal Methods in Information Security". The keynote speakers at the event were Lujo Bauer, Jorge Cuéllar, Philippa Gardner, Fabio Massacci, Carroll Morgan, Ravi Sandhu, Fred B. Schneider, and Tomasz Truderung. Press release by TU Darmstadt
Press release by the Computer Science department