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

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-Werkzeug JOANA prominent in DFG-Schwerpunktprogramm RS3

KASTEL-Werkzeug JOANA prominent in DFG-Schwerpunktprogramm RS3
Author:

KASTEL

Date: 07.10.2014

Das im Rahmen von KASTEL entwickelte Software-Sicherheitsanalysewerkzeug JOANA wird, wie sich bei der kürzlich stattgefundenen Jahrestagung des DFG-Schwerpunktprogramms "Reliably Secure Software Systems" herausstellte, in 8 der 11 im Scherpunktprogrammm geförderten Forschungsprojekte eingesetzt. Damit hat sich JOANA als führendes Werkzeug zur Informationsflusskontrolle etabliert. JOANA analysiert Java-Programme auf illegale Informationsflüsse und kann Vertraulichkeit und Integrität eines Programms garantieren.