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-infoXtu1∂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 bei SAP vorgestellt

KASTEL-Tool JOANA bei SAP vorgestellt
Author:

KASTEL

Date: 14.05.2014

Am 14.5.14 präsentierte KASTEL-PI Prof. Gregor Snelting im SAP-Headquarter (Walldorf) einem internationalen Auditorium von SAP-Entwicklern das Sicherheitsanalyse-Tool JOANA. Über 100 Hörer hatten sich per Live-Stream aus allen SAP-Forschungszentren zugeschaltet und waren beeindruckt von der Präzision der JOANA-Analysen und der Möglichkeit, probabilistische Sicherheitslecks zu entdecken. JOANA wurde am Lehrstuhl Snelting entwickelt und wird auch in KASTEL eingesetzt.