Dr.-Ing. Dennis Giffhorn


	Kontakt	Raum 031

Arbeitsgebiete

Ich arbeite am VALSOFT/JOANA Projekt, welches sich mit der Analyse von Java-Programmen befasst, und beschäftige mich dort mit der Analyse nebenläufiger Java-Programme.

Slicing nebenläufiger Programme.

Präzises Slicing nebenläufiger Programme erfordert komplexe und zeitaufwendige Algorithmen. Ich evaluiere existierende Algorithmen und entwickle neue Optimierungen.

Information Flow Control für nebenläufige Programme.

Zurzeit arbeite ich an der Entwicklung von auf Slicing basierenden Verfahren, die nebenläufige Programme auf Informationslecks überprüfen.

Lehre

Übung: Programmierparadigmen - Übungen , Wintersemester 2010/2011
Vorlesung: Praxis der Softwareentwicklung - Handyprogrammierung in Java , Sommersemester 2010
Vorlesung: Praxis der Softwareentwicklung - Handyprogrammierung in Java , Wintersemester 2009/2010
Übung: Übungen zu Fortgeschrittene Objektorientierung , Sommersemester 2009

Veröffentlichungen

2015

A new algorithm for low-deterministic security
International Journal of Information Security 2015, pp. 263-287 : D. Giffhorn, G. Snelting

2014

Checking Probabilistic Noninterference Using JOANA
it - Information Technology November 2014, pp. 280--287 : G. Snelting, D. Giffhorn, J. Graf, C. Hammer, M. Hecker, M. Mohr, D. Wasserrab

2012

Probabilistic Noninterference Based on Program Dependence Graphs
Karlsruhe Reports in Informatics 2012 April 2012 : D. Giffhorn, G. Snelting
Slicing of Concurrent Programs and its Application to Information Flow Control
2012 : D. Giffhorn

2011

Advanced chopping of sequential and concurrent programs
Software Quality Journal 2011, pp. 239--294 : D. Giffhorn

2009

Chopping Concurrent Programs
9th IEEE International Working Conference on Source Code Analysis and Manipulation September 2009, pp. 13--22 (SCAM 2009) : D. Giffhorn
Precise Slicing of Concurrent Programs - An Evaluation of Static Slicing Algorithms for Concurrent Programs
Journal of Automated Software Engineering June 2009, pp. 197--234 (JASE) : D. Giffhorn, C. Hammer

2008

Precise Analysis of Java Programs using JOANA (Tool Demonstration)
8th IEEE International Working Conference on Source Code Analysis and Manipulation September 2008, pp. 267--268 (SCAM 2008) : D. Giffhorn, C. Hammer

2007

An Evaluation of Slicing Algorithms for Concurrent Programs
7th IEEE Working Conference on Source Code Analysis and Manipulation (SCAM 2007) September 2007, pp. 17--26 (SCAM 2007) : D. Giffhorn, C. Hammer