Home | Impressum | Sitemap | KIT

Kontakt

Institut für Theoretische Informatik

Arbeitsgruppe Kryptographie und Sicherheit

Carmen Manietta

Am Fasanengarten 5

Geb. 50.34

D-76131 Karlsruhe

Tel.: + 49 721 608-44213

Fax: + 49 721 608-55022

E-Mail: crypto-infoDrm3∂iti kit edu

 

Veröffentlichung

Sieben Thesen zur IT-Sicherheit

PDF herunterladen
Stellen

Akademische/r Mitarbeiter/in in der Forschungsgruppe für Interaktive Echtzeitsysteme

Juniorprofessor Hofheinz forscht auf dem Gebiet der theoretischen Kryptographie. Die Verbindungen zu Forschungsgebieten wie der Komplexitätstheorie, der Algorithmen und der formalen Methoden sind dabei ebenso von wissenschaftlichem Interesse. Ein zentrales Thema am Lehrstuhl stellen beweisbare Sicherheitsgarantien dar, wobei ein besonderer Fokus auf der Konstruktion und Analyse von beweisbar sicheren Kryptosystemen und kryptographischen Protokollen liegt.

 

Institut für Kryptographie und Sicherheit

Zentrales Forschungsthema der Arbeitsgruppe von Herrn Jun.-Prof Dr. Hofheinz am Institut für Kryptographie und Sicherheit (IKS) ist theoretische Kryptographie und deren Verbindung zur Komplexitätstheorie und formalen Methoden. Die Schwerpunkte liegen hierbei in den Bereichen beweisbare Sicherheit, formale Sicherheitsmodellierungen, und Verschlüsselungssysteme. Ziel ist es stets, Sicherheits- und Verlässlichkeitsaussagen mathematisch zu formalisieren und dann -- unter geeigneten komplexitätstheoretischen Annahmen -- zu beweisen. Beispiele für untersuchte Forschungsfragen sind etwa: "Welche Sicherheitseigenschaften kann und muss ein Public-Key-Verschlüsselungssystem im Rahmen einer komplexen Anwendung grundsätzlich erfüllen?", "Wie effizient kann ein Verschlüsselungssystem sein?", und "Welche Annahmen sind zur Konstruktion von effizienten Verschlüsselungsverfahren nötig?"