KASTEL Intelligente Infrastrukturen, Cloud Computing und öffentliche Sicherheit stellen große Herausforderungen an die IT-Sicherheit der Zukunft. Zusätzlich zum klassischen Schutz der Peripherie muss mit Bedrohungen von innen umgegangen werden. Es genügt nicht mehr, die Sicherheit von Teilsystemen zu betrachten. Dabei bedarf es disziplinenübergreifender Methoden. Das Kompetenzzentrum für Angewandte Sicherheits-TEchnoLogie (KASTEL) bündelt die Kompetenzen verschiedener Teildisziplinen der IT-Sicherheit und der Anwender.

Secure Cloud Computing Cloud Computing ermöglicht eine ressourceneffiziente und flexible Datenverarbeitung und die Nutzung von großen Datenspeichern. Im Rahmen dieses Projekts werden praktische Lösungen für spezielle Anwendungsfälle erarbeitet, die den Datenschutz auch dann gewährleisten, wenn der Dienstanbieter nicht vertrauenswürdig ist.

Spezialhardware zur Kryptoanalyse Wir untersuchen die Möglichkeiten, Spezialhardware zur Faktorisierung ganzer Zahlen und für algebraische Angriffe auf Blockchiffren einzusetzen. Das wichtigste Ziel ist dabei, die Algorithmen geeignet zu parallelisieren, so dass sie auf Chips üblicher Größe effizient arbeiten.

Wireless Key Exchange Wir erforschen Methoden zum sicheren Schlüsselaustausch, bei denen der physikalische Effekt der Mehrwege-Ausbreitung ausgenutzt wird. Als künftige Anwendungen denkbar sind mobile Endgeräte wie Smartphones oder Laptops.

Sichere Mehrparteienberechnung Wie können zwei sich gegenseitig misstrauende Millionäre berechnen, wer von ihnen reicher ist, ohne dass irgendeine weitergehende Information über den konkreten Wert ihres Besitzes offengelegt wird? Wie können zwei Parteien gemeinsam eine beliebige vorgegebene Funktion sicher auswerten? Was sind die minimal notwendigen Grundbausteine, mit denen solch eine sichere Funktionsauswertung realisiert werden kann?

SOKEN: SOcial Key Exchange Network SOKEN ist ein Verfahren für ein Ad-Hoc-Schlüsselaustauschnetzwerk. Dieses Netzwerk nutzt alltägliche Begegnungen seiner Teilnehmer dazu, kryptographische Schlüssel auszutauschen und weiterzureichen. Ausgetauschte Schlüssel werden so weitergereicht, dass zwei Netzwerkteilnehmer einen gemeinsamen Schlüssel erhalten können, ohne sich je persönlich getroffen zu haben.

SumoDacs Ziel des Projekts SumoDacs ist eine Architektur für den sicheren Zugriff auf Unternehmensdaten mit mobilen Endgeräten unter Verwendung von Hardware-Tokens. Ein auf kontextsensitiven Rollen basiertes Berechtigungssystem ermöglicht eine flexible und feingranulare Zugriffskontrolle sowie digitales Rechtemanagement, welche die Herausforderungen ubiquitärer Anwendungsszenarien erfüllt.

Gitterbasierte Kryptographie Wir beschäftigen uns mit der Konstruktion von kryptographischen Systemen, deren Sicherheit auf der Schwierigkeit von Berechnungsproblemen in mathematischen Gittern beruht. Ein Beispiel sind Verschlüsselungssysteme (HIBEs), deren reichhaltige Struktur durch eine spezielle Delegationstechnik für Gitterbasen ("Bonsai-Gitter") realisiert wurde.

Formale Sicherheitsmodelle Formale Sicherheitsmodelle sind eine notwendige Voraussetzung, um Sicherheitsbeweise mit mathematischer Präzision führen zu können. Es hängt allerdings stark von der Anwendung ab, welche Eigenschaften die Sicherheit eines Systems ausmachen, und ein Sicherheitsbeweis in einem unzureichenden Modell lässt Raum für potentielle Sicherheitslücken.

Bingo Voting Bingo Voting ist ein neuartiges Wahlverfahren, das Wahlcomputer einsetzt, und dabei vollständige und beweisbare Verifizierbarkeit des Wahlergebnisses garantiert, ohne das Wahlgeheimnis zu gefährden. Dazu erhält jeder Wähler direkt nach der Stimmabgabe einen Beleg, mit dessen Hilfe nur er die korrekte Zählung seiner Stimme überprüfen kann. Die Sicherheit des Verfahrens beruht auf einem vertrauenswürdigen Zufallszahlengenerator.

Geschichte des Rechnens und der Informatik, insbesondere ihres (Selbst-)Verständnisses.