Phase 1

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

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

IFC for Mobile Components: 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

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.-Ing. Heiko Mantel, TU Darmstadt

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, Saarland University, Prof. Dr. Helmut Seidl, TU München

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

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.-Ing. 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

Project Proposals

The call for project proposals was published on the DFG website.

The DFG offers guidelines for project proposals, which can be found in part B of this PDF.