KIT - KASTEL - 15.10.2013: KASTEL-PI auf dem Jahrestreffen des DFG-Schwerpunktprogramms 'Reliably Secure Software Systems' - KASTEL-PI auf dem Jahrestreffen des DFG-Schwerpunktprogramms "Reliably Secure Software Systems"

Author:
KASTEL
Date: 15.10.2013
KASTEL-PI Prof. 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.