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

Projects Sorted by Reference Scenarios

Funded Projects in Security in E-Voting

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

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


Funded Projects in Web-based Workflow Management Systems

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

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

SecDed: Secure Type Systems and Deduction
Prof. Tobias Nipkow, Ph.D., TU Munich

SpAGAT: Secrecy and Information Flow in Shared Document Bases
Prof. Bernd Finkbeiner, Saarland University, Prof. Dr. Helmut Seidl, TU Munich

Funded Projects in Software Security for Mobile Devices

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

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

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

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

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