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
Forschungsgebiet Algorithmische Grundlagen und Kryptographie
Forschungsgebiet Empirische und Verhaltensorientierte Sicherheit
Forschungsgebiet Erkennungs- und Verteidigungsmechanismen für Bedrohungen
Forschungsgebiet Sichere Mobile und Autonome Systeme
Forschungsgebiet Vertrauenswürdige Informationsverarbeitung
Forschungsgebiet Zuverlässige Sicherheitsgarantien