CISPA - Helmholtz-Zentrum für Informationssicherheit

Adresse Stuhlsatzenhaus 5
66123 Saarbrücken
Deutschland

GERiT Diese Institution in GERiT

66123 Saarbrücken

Projekte

Sachbeihilfen
- laufende Projekte
  - EMPEROR: Lernen der Ursachen von Programmverhalten
    (Antragsteller Grunske, Lars ; Zeller, Ph.D., Andreas )
  - Erforschung von Fingerprinting und CPU Angriffen und Gegenmaßnahmen über Browserskripte
    (Antragsteller Hack, Sebastian ; Reineke, Jan ; Rossow, Christian ; Schwarz, Michael )
  - Globale Synchronisationsprotokolle und der Beweis ihrer Korrektheit (GSP&Co)
    (Antragsteller Jacobs, Swen )
  - TYPES4STRINGS: Types For Strings
    (Antragsteller Fraser, Gordon ; Zeller, Ph.D., Andreas )
  - Weiterentwicklung Formaler Methoden zur Unterstützung des Designs neuer homogener verteilter Systeme und Technologien mit hybrider Resilienz
    (Antragsteller Jacobs, Swen )
- abgeschlossene Projekte
  - Analyse von Computerprogrammen durch automatische Experimente
    (Antragsteller Zeller, Ph.D., Andreas )
  - Anomalieerkennung in reaktiven Systemen
    (Antragsteller Zeller, Ph.D., Andreas )
  - Automatische Synthese Verteilter und Parametrisierter Systeme
    (Antragsteller Jacobs, Swen )
  - Eingrenzung von Fehlerumständen mit Delta Debugging
    (Antragsteller Snelting, Gregor )
  - Erkennen, Visualisieren und Anwenden von Evolutionsmustern in Software-Historie
    (Antragsteller Diehl, Stephan ; Zeller, Ph.D., Andreas )
  - Finden und Bezeugen unerwünschten Programmverhaltens
    (Antragsteller Bodden, Eric ; Zeller, Ph.D., Andreas )
  - Kryptographisch korrekte Sicherheitsanalyse von kryptographischen Protokollen
    (Antragsteller Backes, Michael )
  - Seeding Bugs to Find Bugs
    (Antragsteller Zeller, Ph.D., Andreas )
  - Selbstreparierende Programme ("Autofix")
    (Antragsteller Zeller, Ph.D., Andreas )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Intergiertes Graduiertenkolleg
    (Teilprojektleiter Zeller, Ph.D., Andreas )
  - Kryptographisch korrekte, symbolische Beweise für Privacyeigenschaften
    (Teilprojektleiterinnen / Teilprojektleiter Backes, Michael ; Cortier, Véronique )
  - Privacyfreundliches Speichern in der Cloud
    (Teilprojektleiter Backes, Michael ; Maffei, Ph.D., Matteo ; Schröder, Dominique )
  - Privacy Implikationen durch Verbreitung visueller Daten
    (Teilprojektleiter Fritz, Mario ; Schiele, Bernt )
  - Semantische und statistische Linkbarkeit
    (Teilprojektleiter Backes, Michael ; Weikum, Gerhard )
  - SFB 1223: Methoden und Instrumente zum Verständnis und zur Kontrolle von Datenschutz
    (Sprecher Backes, Michael )
  - Softwareanalyse zur Erkennen des Verlustes persönlicher Daten
    (Teilprojektleiter Briand, Lionel C. ; Zeller, Ph.D., Andreas )
  - Zentral Projekt
    (Teilprojektleiter Backes, Michael )
Schwerpunktprogramme
- laufende Projekte
  - Privatsphäre-wahrende Interaktion mit am Körper getragenen Computergeräten
    (Antragstellerinnen / Antragsteller Krombholz, Katharina ; Krüger, Antonio ; Steimle, Jürgen )
Transregios
- laufende Projekte
  - TRR 248: Grundlagen verständlicher Software-Systeme - für eine nachvollziehbare cyber-physische Welt
    (Sprecher Dachselt, Raimund ; Hermanns, Holger )
Graduiertenkollegs
- laufende Projekte
  - GRK 2853: Neuroexplizite Modelle für Sprachverarbeitung, Bilderkennung und Aktionsentscheidungen
    (Sprecher Koller, Alexander )
- abgeschlossene Projekte
  - GRK 623: Leistungsgarantien für Rechnersysteme
    (Sprecher Seidel, Raimund )
Graduiertenschulen
- abgeschlossene Projekte
  - GSC 209: Saarbrücker Graduiertenschule für Informatik
    (Sprecher Seidel, Raimund )
Exzellenzcluster
- abgeschlossene Projekte
  - EXC 284: Multimodal Computing and Interaction. Robust, Efficient and Intelligent Processing of Text, Speech, Visual Data and High Dimensional Representations
    (Sprecher Seidel, Hans-Peter )
Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien
- laufende Projekte
  - GHGA – Deutsches Humangenom-Phenomarchiv
    (Sprecher Stegle, Ph.D., Oliver )

Untergeordnete Institutionen