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

Projects

RS3 currently consists of 12 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)

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

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

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

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

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, Prof. Dr. Christoph Weidenbach, Max-Planck Institute for Informatics

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)

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

FM-SecEng: Formal Methods for Information Security
Prof. Dr.-Ing. Heiko Mantel, TU Darmstadt

Quis-Custodiet: Machine-checked software security analyses
Prof. Tobias Nipkow, Ph.D., TU München, Prof. Dr.-Ing. Gregor Snelting, Karlsruhe Institute of Technology

RUNSECURE
Prof. Eric Bodden, Ph.D., TU Darmstadt

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

TbgESP: Type-based gradual enforcement of security policies for concurrent programs
Prof. Dr. Peter Thiemann, University of Freiburg