The Secure Software Engineering Group is currently involved in the following projects.
Google Faculty Research Awards
Google Faculty Research Awards are highly competitive awards given out by Google as unrestricted gifts to the academic research community. Google awards about 100 Google Faculty Awards twice a year to promote promising research projects in the field of computer science. For Winter 2012/2013, about 600 entries have been submitted from 46 countries, 102 were successful. TU Darmstadt was the only German university to receive two awards at once, both in the area of IT security.
European Center for Security and Privacy by Design (EC SPRIDE)
The BMBF project EC SPRIDE provides the base funding for our group. Within this project, we develop method, tools and techniques to secure software systems upfront, by means of a constructive approach to software security.
Provably secure program executions through declaratively defined dynamic program analyses (RUNSECURE)
DFG, within the Emmy Noether Program, 2012-2017
Within the Emmy Noether project RUNSECURE we develop a novel programming language for developing provably correct dynamic analyses and security monitors. In result programmers will be able to obtain programs that are protected from certain classes of vulnerabilities by design. Find out more…
Proving Security Properties of Services
Horst Görtz Foundation, 2011-2014
Within this project, we design and implement methods and tools to prove security properties of individual software component, such as services, opposed to entire closed programs. Find out more…
Landes-Offensive zur Entwicklung Wissensch.-ökonomischer Exzellenz (LOEWE), 2008-2014
CASED is a collaborative project of the Technische Universität Darmstadt, the Fraunhofer Society and the University of Applied Science (Hochschule) Darmstadt. In the research areas Secure Data, Secure Things, and Secure Services the cluster develops applicable basic knowledge and IT security solutions. Thanks to its broadly-based position in regards to topics and competencies, the cluster and its headquarters CASED can realize especially complex projects efficiently and sustainably. Our group is part of the research area Secure Services and of the Secure Software Engineering lab.
Runtime Verification for ABS Product Lines
In this project, we develop techniques to runtime-check safety and security properties for product lines expressed in the Abstract Behavioral Specification (ABS) language. Find out more…