CISPA - Helmholtz-Zentrum für Informationssicherheit

Address Stuhlsatzenhaus 5
66123 Saarbrücken
Deutschland

GERiT This institution in GERiT

66123 Saarbrücken

Projects

Research Grants
- Current projects
  - Advancing Formal Methods to Support the Creation of Novel, Homogeneous and Hybrid Resilient Distributed Systems and Technologies
    (Applicant Jacobs, Swen )
  - EMPEROR: Learning Causes of Program Behavior
    (Applicants Grunske, Lars ; Zeller, Ph.D., Andreas )
  - Fingerprinting And CPU Attack and Defense Exploration from browser Scripts
    (Applicants Hack, Sebastian ; Reineke, Jan ; Rossow, Christian ; Schwarz, Michael )
  - Global Synchronization Protocols and Proving their Correctness (GSP&Co)
    (Applicant Jacobs, Swen )
  - TYPES4STRINGS: Types For Strings
    (Applicants Fraser, Gordon ; Zeller, Ph.D., Andreas )
- Completed projects
  - Analyse von Computerprogrammen durch automatische Experimente
    (Applicant Zeller, Ph.D., Andreas )
  - Automatic Synthesis of Distributed and Parameterized Systems
    (Applicant Jacobs, Swen )
  - Detecting Anomalies in Reactive Systems
    (Applicant Zeller, Ph.D., Andreas )
  - Eingrenzung von Fehlerumständen mit Delta Debugging
    (Applicant Snelting, Gregor )
  - Erkennen, Visualisieren und Anwenden von Evolutionsmustern in Software-Historie
    (Applicants Diehl, Stephan ; Zeller, Ph.D., Andreas )
  - Finding and Demonstrating Undesired Program Behavior
    (Applicants Bodden, Eric ; Zeller, Ph.D., Andreas )
  - Kryptographisch korrekte Sicherheitsanalyse von kryptographischen Protokollen
    (Applicant Backes, Michael )
  - Seeding Bugs to Find Bugs
    (Applicant Zeller, Ph.D., Andreas )
  - Selbstreparierende Programme ("Autofix")
    (Applicant Zeller, Ph.D., Andreas )
Collaborative Research Centres
- Completed projects
  - Analysis of Software Privacy Leakage
    (Project Heads Briand, Lionel C. ; Zeller, Ph.D., Andreas )
  - Central Administration
    (Project Head Backes, Michael )
  - Computationally Sound Reasoning about Privacy Properties
    (Project Heads Backes, Michael ; Cortier, Véronique )
  - Integrated Research Training Group
    (Project Head Zeller, Ph.D., Andreas )
  - Privacy Implications of Visual Data Dissemination
    (Project Heads Fritz, Mario ; Schiele, Bernt )
  - Privacy-Preserving Cloud Storage
    (Project Heads Backes, Michael ; Maffei, Ph.D., Matteo ; Schröder, Dominique )
  - Semantic and Statistical Linkability
    (Project Heads Backes, Michael ; Weikum, Gerhard )
  - SFB 1223: Methods and Tools for Understanding and Controlling Privacy
    (Spokesperson Backes, Michael )
Priority Programmes
- Current projects
  - Privacy-Preserving Interaction with On-Body Computers
    (Applicants Krombholz, Katharina ; Krüger, Antonio ; Steimle, Jürgen )
CRC/Transregios
- Current projects
  - TRR 248: Foundations of Perspicuous Software Systems - Enabling Comprehension in a Cyber-Physical World
    (Spokespersons Dachselt, Raimund ; Hermanns, Holger )
Research Training Groups
- Current projects
  - GRK 2853: Neuroexplicit models of language, vision, and action
    (Spokesperson Koller, Alexander )
- Completed projects
  - GRK 623: Quality Guarantees for Computer Systems
    (Spokesperson Seidel, Raimund )
Graduate Schools
- Completed projects
  - GSC 209: Saarbrücken Graduate School of Computer Science
    (Spokesperson Seidel, Raimund )
Clusters of Excellence
- Completed projects
  - EXC 284: Multimodal Computing and Interaction - Robust, Efficient and Intelligent Processing of Text, Speech, Visual Data and High Dimensional Representations
    (Spokesperson Seidel, Hans-Peter )
NFDI technical and methodological consortia
- Current projects
  - GHGA – German Human Genome-Phenome Archive
    (Spokesperson Stegle, Ph.D., Oliver )

Subinstitutions