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-infoAja0∂iti kit edu

 

Veröffentlichung

Sieben Thesen zur IT-Sicherheit

PDF herunterladen
Stellen

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

Prof. Snelting ist Leiter des Lehrstuhls „Programmierparadigmen“, der sich mit Sprachdesign, Compilerbau, Programmanalyse, Software-Sicherheit und Verifikation befasst. Der Lehrstuhl entwickelte JOANA, das z.Zt. international einzige Werkzeug zur Software-Sicherheitsanalyse (Information Flow Control), das volles Java (ohne Reflection) und unbeschränkte Threads behandeln kann. Der Lehrstuhl ist Mitbegründer des DFG-Schwerpunktprogramms „Reliably Secure Software Systems“. Im Rahmen des DFG-Sonderforschungsbereichs „Invasives Rechnen“ entwickelt der Lehrstuhl Programmiersprache und Compiler für neue, hochdynamische Formen der Parallelprogrammierung.