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


RS3 currently consists of 11 funded projects, i.e. projects funded from the RS3 budget. In addition, 6 research projects are associated, i.e. funded by other sources, but collaborating with the priority programme RS3. Principal investigators and researchers from associated projects are very welcome at RS3 meetings. If you are a principal investigator of a German research project that is thematically close to RS3 and would like to become an associated project, please contact the RS3 coordinator.

Overview of funded Projects in the current phase (alphabetically)

DeduSec: Program-level Specification and Deductive Verification of Security Properties
Prof. Dr. Bernhard Beckert, Prof. Dr. Peter H. Schmitt, Karlsruhe Institute of Technology

E-Voting: Implementation-Level Analysis of E-Voting Systems
Prof. Dr. Ralf Küsters, University of Trier

IFC4BC: Information Flow Control for Browser Clients
Deepak Garg, Ph.D., Max-Planck Institute for Software Systems, Prof. Dr. Christian Hammer, Saarland University

IFC4MC: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs
Prof. Dr. Markus Müller-Olm, WWU Münster, Prof. Dr.-Ing. Gregor Snelting, Karlsruhe Institute of Technology

IFlow: Developing Systems with Secure Information Flow
Prof. Dr. Wolfgang Reif, University of Augsburg

INTERFLOW: Hybrid Static/Dynamic Inter-application Data-flow Analysis
Prof. Eric Bodden, Ph.D., TU Darmstadt

MORES: Modelling and Refinement of Security Requirements on Data and Processes
Prof. Dr. Dieter Hutter, DFKI

RSCP: Reliable Security for Concurrent Programs
Prof. Dr.-Ing. Heiko Mantel, TU Darmstadt

SADAN: System-wide data-driven runtime usage control across layers of abstraction
Prof. Dr. Alexander Pretschner, TU München

SecDed: Secure Type Systems and Deduction
Prof. Tobias Nipkow, Ph.D., TU München

SpAGAT: Secrecy and Information Flow in Shared Document Bases
Prof. Bernd Finkbeiner, Ph.D., Saarland University, Prof. Dr. Helmut Seidl, TU München

Overview of currently Associated Projects (alphabetically)

ALBIA: Fully Automatic Logic-Based Information Flow
Dr. Richard Bubel, Prof. Dr. Reiner Hähnle, TU Darmstadt

EURO-MILS: Secure European virtualisation for trustworthy applications in critical domains
Dr. habil. Werner Stephan, DFKI

FIfAKS: Formal Information-Flow Specification and Analysis in Component-Based Systems
Prof. Dr. Bernhard Beckert, Karlsruhe Institute of Technology

MoVeSPAcI: Modular Verification of Security Properties in Actor Implementations
Prof. Dr. Arnd Poetzsch-Heffter, TU Kaiserslautern

Security-Related Programming Models (EC SPRIDE)
Prof. Dr. Heiko Mantel, TU Darmstadt

SecVolution: Beyond One-Shot Security: Keeping Information Systems Secure through Environment-Driven Knowledge Evolution
Prof. Dr. Jan Jürjens, TU Dortmund

ServAut: Service Automata
Prof. Dr.-Ing. Heiko Mantel, TU Darmstadt