DFG

The final event of the DFG-funded national research initiative "Reliably Secure Software Systems (RS 3)" (SPP 1496) took place September 4-6, 2017 in Darmstadt. The overall goal of RS 3 has been to enable a reliable verification of system-wide security guarantees based on a well-founded understanding of programs and of security aspects. The research topics ranged from theoretical foundations to the development of analysis tools to the security analysis of complex systems in three reference scenarios: software-security for mobile devices, secure e-voting, and security of web-based workflow management systems... This Priority Programme assumed that a paradigm shift in IT-security is necessary in order to reliably guarantee the security of complex software systems. The current trust-based and mechanism-centric approaches to IT-security were to be complemented by property-oriented solutions. This paradigm shift was to enable a trustworthy certification of system-wide, technical security..

Primary location: Darmstadt Germany