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
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, Karlsruhe Institute of Technology
