RS³ Annual Meeting 2015

On October 5 and 6, the 5^th Annual Meeting of the DFG priority program „Reliably Secure Software Systems“ (RS³), coordinated by Prof. Heiko Mantel, will take place at the University of Bremen. Researchers from nine German universities and research institutes will meet to present their progress in the development of provably correct techniques for establishing precisely defined security guarantees for complex software systems. Additionally, Frank Piessens and Catuscia Palamidessi will give keynote talks about secure compilation and quantitative information flow, respectively. The Annual Meeting will be followed by the 10^th Staff Meeting of RS³ on October 7 and 8, during which the researchers will continue working towards their common goals.