Projects sorted by Reference Scenarios
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
Implementation-Level Analysis of E-Voting Systems
Prof. Dr. Ralf Küsters, University of Trier
MoVeSPAcI: Modular Verification of Security Properties in Actor Implementations
Prof. Dr. Arnd Poetzsch-Heffter, TU Kaiserslautern
Projects in Security in Enterprise Systems
MoDelSec: Modular Modeling of Delegation Security in Software Development
Prof. Dr. Jan Jürjens, TU Dortmund
System-wide data-driven runtime usage control across layers of abstraction
Prof. Dr. Alexander Pretschner, Karlsruhe Institute of Technology
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
Projects in Software Security for Mobile Devices
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
IFlow: Developing Systems with Secure Information Flow
Prof. Dr. Wolfgang Reif, University of Augsburg
MoDelSec: Modular Modeling of Delegation Security in Software Development
Prof. Dr. Jan Jürjens, TU Dortmund
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
Type-based gradual enforcement of security policies for concurrent programs
Prof. Dr. Peter Thiemann, University of Freiburg
