Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Funded Projects (alphabetically)

ALBIA: Fully Automatic Logic-Based Information Flow
The project will investigate and develop a fully automatic prover for information flow policies. The prover technology will be based on the KeY prover and extend it by an abstraction on-demand framework to achieve full automation.
read more...
Principal Investigators
Dr. Richard Bubel
Prof. Dr. Reiner Hähnle
Institution
TU Darmstadt
DeduSec: Program-level Specification and Deductive Verification of Security Properties
The overall goal of the project is to leverage advances in formal verification together with our own experience in formal methods for functional properties in order to specify and verify security properties.
read more...
Principal Investigators
Prof. Dr. Bernhard Beckert
Prof. Dr. Peter H. Schmitt
Institution
Karlsruhe Institute of Technology
E-Voting: Implementation-Level Analysis of E-Voting Systems
The goal of this project is to devise general methods and techniques for the sound implementation-level analysis of e-voting systems and to demonstrate the applicability of these methods and techniques for concrete systems.
read more...
Principal Investigators
Prof. Dr. Ralf Küsters
Institution
University of Trier
IFC4BC: Information Flow Control for Browser Clients
We developed the first information flow control algorithm for full JavaScript including the dreaded eval function. It dynamically tracks information flow but captures implicit flow with local static analysis.
read more...
Principal Investigators
Deepak Garg, Ph.D.
Prof. Dr. Christian Hammer
Institution
MPI for Software Systems
Saarland University
IFC4MC: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs
In this project, we use information flow control based on program dependence graphs for the construction of new and precise security analysis methods for mobile components and their dynamic integration.
read more...
Principal Investigators
Prof. Dr. Markus Müller-Olm
Prof. Dr. Gregor Snelting
Institution
WWU Münster
Karlsruhe Institute of Technology
IFlow: Developing Systems with Secure Information Flow
IFlow integrates formally verified information flow control (IFC) properties and language based type systems for IFC with a software engineering approach based on model driven development.
read more...
Principal Investigators
Prof. Dr. Wolfgang Reif
Institution
University of Augsburg
INTERFLOW: Hybrid Static/Dynamic Inter-application Data-flow Analysis
In this project we research how Android apps of untrusted sources can be secured by enforcing security policies through a combination of static and dynamic techniques, without requiring any modifications to the Android platform. In other words, the technique should run on any stock Android platform.
read more...
Principal Investigators
Prof. Eric Bodden, Ph.D.
Institution
TU Darmstadt
MoDelSec: Modular Modeling of Delegation Security in Software Development
The objective of this project is to develop an approach for considering advanced techniques in access control (in particular delegation of user permissions) in the context of a formally-based software development methodology.
read more...
Principal Investigators
Prof. Dr. Jan Jürjens
Institution
TU Dortmund
MORES: Modelling and Refinement of Security Requirements on Data and Processes
The project MoReS aims at the transfer and enhancement of existing information-flow control techniques for the development of secure systems using the example of decision support systems in the area of public security.
read more...
Principal Investigators
Prof. Dr. Dieter Hutter
Institution
German Research Center
for Artificial Intelligence Bremen
MoVeSPAcI: Modular Verification of Security Properties in Actor Implementations
We will develop a tool-supported, two-tier framework for the verification of security properties in actor implementations of multi-agent systems.
read more...
Principal Investigators
Prof. Dr. Arnd Poetzsch-Heffter
Institution
TU Kaiserslautern
RSCP: Reliable Security for Concurrent Programs
RSCP aims at a novel framework for adequately characterising security aspects by noninterference-like information-flow properties as well as for analysing and certifying the security of concurrent programs based on well-founded semantics.
read more...
Principal Investigators
Prof. Dr. Heiko Mantel
Institution
TU Darmstadt
SADAN: System-wide data-driven runtime usage control across layers of abstraction
The goal of the project is the run-time enforcement or at least the detection of violation of usage control requirements.
read more...
Principal Investigators
Prof. Dr. Alexander Pretschner
Institution
TU Munich
SecDed: Secure Type Systems and Deduction
We design formal reasoning methods and tools for the verification of information-flow security, including language-based and system security. We are concerned with both fundamental research and the practical realization of our results.
read more...
Principal Investigators
Prof. Tobias Nipkow, Ph.D.
Prof. Dr. Christoph Weidenbach
Institution
TU Munich
MPI for Informatics
SpAGAT: Secrecy and Information Flow in Shared Document Bases
The subject of this project is the analysis of secrecy and information flow in applications where multiple users execute a workflow while sharing a common document base.
read more...
Principal Investigators
Prof. Bernd Finkbeiner, Ph.D.
Prof. Dr. Helmut Seidl
Institution
Saarland University
TU Munich
TbgESP: Type-based gradual enforcement of security policies for concurrent programs
The overall goal of this project is to establish a framework for stating and enforcing user-configurable security policies on object-oriented programs with message-passing concurrency.
read more...
Principal Investigators
Prof. Dr. Peter Thiemann
Institution
University of Freiburg
USIFES: User-centric, Secure Information Flow Management in Enterprise Systems
Principal Investigators
Prof. Dr. Colin Atkinson
Prof. Dr. Felix Freiling
Prof. Dr. Alexander Mädche
Institution
University of Mannheim
University of Erlangen-Nürnberg
University of Mannheim
WS4Dsec: Reliably Secure Web Services for Devices
WS4Dsec will provide mechanisms that enable a formal verification of secure and stateful interacting devices ensembles.
read more...
Principal Investigators
Prof. Dr. Dirk Timmermann
Prof. Dr. Karsten Wolf
Institution
University of Rostock