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

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

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

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 Web-based Workflow Management Systems

Information Flow Control for Browser Clients
Dr. Deepak Garg, 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

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

Projects in Software Security for Mobile Devices

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

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

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

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