Begin: Tue, 26. of Nov 2013 ( 6:00 PM)
Location: Warburger Str. 100, Lecture Hall O2
On November 26, 2013, Prof. Dr. Heiko Mantel will give a talk in the context of the SFB 901 colloquium. Title of the talk: Towards more Reliable Software Security
Abstract:
Formal methods and program analysis techniques can contribute to making software security more reliable. A formal specification of security requirements clarifies in which sense security shall be achieved, and analysis tools clarify whether it has been achieved. In this presentation, I will illustrate the use of formal methods and of program analysis at two practically relevant security requirements. I will show how to formalize such requirements, discuss which program analysis techniques are suitable for which properties, and present two novel security analysis tools. The CliSeAu tool enforces security in distributed Java programs at run-time and the RSCP security analyzer statically verifies security requirements in Android applications.
