Projects

Funded Projects (alphabetically)

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

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

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

Information Flow Control for Browser Clients
Dr. Deepak Garg, Max-Planck Institute for Software Systems, Prof. Dr. Christian Hammer, Saarland University

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

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, TU München

Associated Projects (alphabetically)

SecVolution: Beyond One-Shot Security: Keeping Information Systems Secure through Environment-Driven Knowledge Evolution
Prof. Dr. Jan Jürjens, TU Dortmund

FM-SecEng: Formal Methods for Information Security
Prof. Dr.-Ing. Heiko Mantel, TU Darmstadt

RUNSECURE
Dr. Eric Bodden, TU Darmstadt

Type-based gradual enforcement of security policies for concurrent programs
Prof. Dr. Peter Thiemann, University of Freiburg

PolyNI: Verification of polymorphic noninterference for mobile code
Prof. Martin Hofmann, LMU München

Quis-Custodiet: Machine-checked software security analyses
Prof. Tobias Nipkow, Ph.D., TU München, Prof. Dr.-Ing. Gregor Snelting, Karlsruhe Institute of Technology