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

Currently Associated 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
EURO-MILS: Secure European virtualisation for trustworthy applications in critical domains
The mission of the EURO-MILS project is to develop a solution for virtualisation of heterogeneous resources and provide strong guarantees for isolation of resources by means of Common Criteria certification with usage of formal methods.
read more...
Principal Investigators
Dr. habil. Werner Stephan
Institution
DFKI
FIfAKS : Formal Information-Flow Specification and Analysis in Component-Based Systems
The FIfAKS project aims to develop methods to combine information-flow techniques with cooperative environments. We develop a specification technique for information-flow specifications for components, a notion of information-flow security with minimal, but helpful assumptions on the environment and compositionality properties for information-flow in components.
read more...
Principal Investigators
Prof. Dr. Bernhard Beckert
Institution
Karlsruhe Institute of Technology
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
Security-Related Programming Models (EC SPRIDE)
The "European Center for Security and Privacy by Design" (EC SPRIDE) researches how IT developers can optimally secure software and IT systems from the very beginning - i.e. "by Design" - and throughout the entire lifecycle.
The sub-project Security-Related Programming Models focuses on the development of methods and technologies to enforce security properties during the implementation of secure software in a modular and transparent fashion.
read more...
Principal Investigators
Prof. Dr. Heiko Mantel
Institution
EC SPRIDE
TU Darmstadt
SecVolution: Beyond One-Shot Security: Keeping Information Systems Secure through Environment-Driven Knowledge Evolution
Our objective is to develop techniques, tools, and processes that support security requirements and design analysis techniques for evolving information systems in order to ensure "lifelong" compliance to security requirements.
read more...
Principal Investigators
Prof. Dr. Jan Jürjens
Institution
TU Dortmund
ServAut: Service Automata
Principal Investigators
Prof. Dr. Heiko Mantel
Institution
TU Darmstadt