On January 9, 2017, Prof. Dr. Eric Bodden (Paderborn University) will give a talk about "Tool Support for Security by Design" in the context of the SFB 901.
Abstract:
For years now, new vulnerabilities and exploits have appeared prominently in the news every day. But why, despite recent efforts, are software-intensive systems so insecure? Ultimately, secure software development is a socio-technical problem, as it is humans (architects, developers, analysts) that need to master the craft of secure engineering. In this talk I will give an overview of what it takes to develop software-intensive systems securely, and will present examples of recent tool-based approaches to aid in the secure design and engineering of such systems.