CASED Publikation
Towards Typesafe Weaving for Modular Reasoning in Aspect-Oriented Programs
Eric Bodden
In: FOAL ’12: International Workshop on the Foundations of Aspect-Oriented Languages,
März 2012.
CASED wird gefördert durch
Arbeitsbereiche
In CASED arbeiten über 170 Forscherinnen und Forscher daran, die IT-Sicherheit weltweit maßgeblich zu verbessern. Die CASED-Forschungsbereiche sind:
Sicherheit der Daten
Vertraulichkeit, Authentizität, Verbindlichkeit und Urheberrechte für digitale Daten
In Wirtschaft, Behörden oder etwa im Gesundheitsbereich stellt der Schutz
von kritischen Unternehmensdaten, von geistigem Eigentum und der Privatsphäre
von Personen eine große Herausforderung dar. Die CASED-Forscher entwickeln neue Verfahren zum
Verschlüsseln und Signieren, für digitale Wasserzeichen und andere Techniken,
die Vertraulichkeit, Authentizität und Verbindlichkeit digitaler Daten
sicherstellen und Urheberrechte langfristig schützen.
Arbeitsbereichsleiter ist Prof. Johannes Buchmann
Sicherheit der Dinge
Manipulationsschutz und Fälschungssicherheit von eingebetteten Computern
Computer, die in Dingen des täglichen Lebens (unsichtbar) integriert sind,
werden als sogenannte eingebettete Systeme in Zukunft überall ihren Dienst
verrichten: In Autos, Flugzeugen, aber auch in der Medizintechnik oder Logistik
leisten sie ihren Beitrag zum Fortschritt in Wirtschaft und Forschung. Somit
ist die Entwicklung von Lösungen für Manipulationsschutz und
Fälschungssicherheit eingebetteter Systeme ein wichtiges Ziel der CASED-Forschung und Entwicklung.
Arbeitsbereichsleiter Prof. Dr. Ahmad-Reza Sadeghi
Sicherheit der Dienste
Vertrauenswürdige Dienste im Internet der Zukunft
Im Internet der Zukunft arbeiten Dienste von unterschiedlichen Anbietern aus
allen Bereichen, wie z. B. Material-, Finanz- und Personalwirtschaft oder auch
Produktionsplanung zusammen. Nutzer werden sich verschiedenste Dienste nach
ihren Wünschen zusammenstellen können. CASED
trägt entscheidend dazu bei, dass dies vertrauenswürdig und nachvollziehbar
sicher geschehen kann.
Arbeitsbereichsleiter ist Prof. Dr. Max Mühlhäuser