Home | deutsch  | Legals | Data Protection | Sitemap | KIT


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


Seven Theses on IT Security


Seven Theses

Open Positions

You haven't found a suitable position? Even if it is not always advertised, we are happy to hear from new doctoral students / postdocs who are interested in reinforcing our team. Simply send us your unsolicited application. We look forward to hearing from you!


Professor Snelting is head of the chair “Programming Paradigms”, which deals with language design, compiler construction, program analysis, software security and verification.

The chair has developed JOANA, which as of now is the only tool for Software Security Analysis (Information Flow Control) that can handle full Java (without reflection) and unlimited threads.

The chair is a co-funder of the DFG’s Reliably Secure Software Systems programme.

Within the framework of the DFG Collaborative Research Centre “Invasive Computing”, the Chair of Programming Language and Compiler is developing new, highly dynamic forms of parallel programming.