Home | english  | Impressum | Datenschutz | 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-infoLnv9∂iti kit edu
Veröffentlichung

Sieben Thesen zur IT-Sicherheit

PDF herunterladen

Offene Stellen

Sie haben keine passende Stelle gefunden? Auch wenn es nicht immer ausgeschrieben ist, freuen wir uns über neue Doktoranden/Postdocs, die daran interessiert sind, unser Team zu verstärken. Lassen Sie uns hierfür einfach Ihre Initiativbewerbung zukommen. Wir freuen uns auf Sie!

KASTEL-PI auf dem Jahrestreffen des DFG-Schwerpunktprogramms "Reliably Secure Software Systems"

KASTEL-PI auf dem Jahrestreffen des DFG-Schwerpunktprogramms "Reliably Secure Software Systems"
Autor:

KASTEL

Datum: 15.10.2013

KASTEL-PI Prof. Gregor Snelting nahm mit 2 Mitarbeitern am Jahrestreffen des DFG-Schwerpunktprogramms "Reliably Secure Software Systems" teil und präsentierte dort neue theoretische und praktische Ergebnisse zum JOANA-System. JOANA ist ein sehr leistungsfähiges Werkzeug zur Sicherheitsanalyse von Java-Programmen (Information Flow Control). Es basiert auf modernster Programmanalyse und wird im Rahmen von KASTEL weiterentwickelt und eingesetzt.