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


In Phase 3, RS3 consisted of 11 funded projects, i.e. projects funded from the RS3 budget. In addition, 6 research projects were associated, i.e. funded by other sources, but collaborating with the priority programme RS3.

Overview of Funded Projects in Phase 3 (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 Associated Projects in Phase 3 (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