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

Contact

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

Publications

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!

BMBF Logo

KASTEL-Tool JOANA in den Medien

KASTEL-Tool JOANA in den Medien
Author: KASTEL
Date: 07.08.2014

Verschiedene Fachpublikationen und das GI-Radar berichteten über das Karlsruher Software-Sicherheitsanalysetool JOANA. JOANA analysiert den Quell- oder Bytecode von JAVA-Programmen und findet alle Verletzungen von Vertraulichkeit oder Integrität. Die Entwicklung von JOANA wird durch KASTEL unterstützt.