Phase 1
ModelSec: Modular Modeling of Delegation Security in Software DevelopmentProf. Dr. Jan Jürjens, Technische Universität Dortmund
RSCP: Reliable Security for Concurrent Programs
Prof. Dr.-Ing. Heiko Mantel, Technische Universität Darmstadt
Type-based gradual enforcement of securtity policies for concurrent programs
Prof. Dr. Peter Thiemann, Universität Freiburg
UNIFES: User-centric, Secure Information Flow Management in Enterprise Systems
Prof. Dr. Colin Atkinson, Prof. Dr.-Ing. Felix Freiling, Prof. Dr. Alexander Mädche, Universität Mannheim
Further projects will be announced soon.
