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

RS3 projects during past phases of RS3

This page lists RS3 projects by phases of RS3.


Phase 1 (2010 - 2012)

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

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

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. Gregor Snelting, Karlsruhe Institute of Technology

MoDelSec: Modular Modeling of Delegation Security in Software Development
Prof. Dr. Jan Jürjens, TU Dortmund

MORES: Modelling and Refinement of Security Requirements on Data and Processes
Prof. Dr. Dieter Hutter, German Research Center for Artificial Intelligence Bremen

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

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

SADAN: System-wide data-driven runtime usage control across layers of abstraction
Prof. Dr. Alexander Pretschner, Karlsruhe Institute of Technology

SecDed: Secure Type Systems and Deduction
Prof. Tobias Nipkow, Ph.D., TU Munich, 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

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

USIFES: User-centric, Secure Information Flow Management in Enterprise Systems
Prof. Dr. Colin Atkinson, University of Mannheim, Prof. Dr. Felix Freiling, University of Erlangen-Nürnberg, Prof. Dr. Alexander Mädche, University of Mannheim

WS4Dsec: Reliably Secure Web Services for Devices
Prof. Dr. Dirk Timmermann, Prof. Dr. Karsten Wolf, University of Rostock


Phase 2 (2012 - 2014)

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

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

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

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

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. Gregor Snelting, Karlsruhe Institute of Technology

MORES: Modelling and Refinement of Security Requirements on Data and Processes
Prof. Dr. Dieter Hutter, German Research Center for Artificial Intelligence Bremen

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

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

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

SecDed: Secure Type Systems and Deduction
Prof. Tobias Nipkow, Ph.D., TU Munich, 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 Munich


Phase 3 (2014 - 2016)

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