Home | Impressum | 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-infoSie7∂iti kit edu



Sieben Thesen zur IT-Sicherheit

PDF herunterladen

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

Gregor Snelting studied Mathematics and Informatics at the Technical University of Darmstadt. At age 27, he pubslished his PhD thesis on generic type inference in language-based editors. At age 31, he became an associate professor for software technology at the Technical University of Braunschweig. Since 2008 he leads the Chair of Programming Paradigms at KIT.

Snelting's background is in programing languages, compilers, program analysis and software engineering. He and his students have worked extensively on precise algorithms for program dependence graphs and program slicicing; their machine-checked verification; and their application for software security analysis.


The programming paradigms group investigates compilation, analysis and application of various programming paradigms, with focus on object oriented and concurrent languages. Within the Sonderforschungsbereich InvasIC, we develop a language and compiler for invasive parallel computing, based on IBMs language X10 and our compiler framework FIRM.
In the scope of the DFG Priority Program RS3, we develop the software security analysis tool Joana and Information Flow Control for mobile components. Based on precise program dependence graphs and sophisticated algorithms, Joana statically finds illicit information flow in full Java programs containing an arbitrary number of threads, while minimizing program annotations and false alarms. We aim for empirical validation and solid theoretical foundations of our results. In the scope of the Quis-Custodiet project, we deliver machine checked correctness proofs for our security analyses.