HOME | DEUTSCH | IMPRESSUM | KIT

Dr.-Ing. Jürgen Graf

photo

Contact

Email: >>please click this text<<

[ S/MIME ]

IPD Prof. Snelting

Room 022, Building 50.34

Am Fasanengarten 5

76131 Karlsruhe

Germany

Consultation Hours: Di 13-14h oder nach Vereinbarung

Research interests

Speeding up slicing

Currently I'm interested in finding new ways to speed up interprocedural dependence graph creation by using modular analysis.

Research prototypes

The JOANA information flow framework for Java programs is available for research purposes at http://joana.ipd.kit.edu/.

The non-interference analysis for the client server encryption example of the CSF 2012 paper is available at https://github.com/jgf/crypto-client-ifc. It also contains a simple interface to our ifc tools (Joana), so you can try to modifiy it to analyze your own code.

Courses

Publications

2017

2016

2015

2014

2013

2012

2010

2009

2005

Projects

Advised thesis projects

finished