|
|
|
Contact Phone: +49 721 608-47399 Email:
>>please click this text<<
[ S/MIME ] |
IPD Prof. Snelting Room 025, Building 50.34 Am Fasanengarten 5 76131 Karlsruhe Germany |
|
Consultation Hours: nach Vereinbarung |
|
Research interests
Formal semantics, static program analysis
Courses
- Laboratory: Theorem prover lab: applications in programming languages , Sommersemester 2013
- Lecture: Programming Paradigms , Wintersemester 2012/2013
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2012/2013
- Lecture: Software Engineering Practice , Sommersemester 2012
- Lecture: Software Engineering Practice , Wintersemester 2011/2012
- Lecture: Software Engineering Practice - SudoPhone , Wintersemester 2011/2012
- Lecture: Software Engineering Practice - Smartphoneprogramming in Java , Sommersemester 2011
- Laboratory: Theorem prover lab: applications in programming languages , Sommersemester 2011
- Lecture: Software Engineering Practice: DivingComputerApp - Security-sensitive Applications for Android , Wintersemester 2010/2011
- Seminary: Programmkalküle für Parallelität , Sommersemester 2010
- Lecture: Programmieren , Wintersemester 2009/2010
- Tutorial: Tutorien zu Programmieren , Wintersemester 2009/2010
- Übungsschein: Programmieren für Wiederholer , Sommersemester 2009
- Lecture: Programming , Wintersemester 2008/2009
- Tutorial: Tutorial for Programming , Wintersemester 2008/2009
Publications
2010
-
Proving Information Flow Noninterference by Reusing a Machine-Checked
Correctness Proof for Slicing
6th International Verification Workshop - VERIFY-2010 2010 : D. Wasserrab, D. Lohner
2009
-
On PDG-Based Noninterference and its Modular Proof
Proceedings of the 4th Workshop on Programming Languages and Analysis for Security June 2009, pp. 31--44 : D. Wasserrab, D. Lohner, G. Snelting
Projects
Advised thesis projects
open
- Evaluation of a software security criterion , bachelor/study thesis
- Formalization of SSA-form , Diploma/Master thesis
running
- Formalization of SSA-form , bachelor thesis
- Verified implementation for control dependencies , bachelor/study thesis
- Verified implementation for data dependencies , bachelor/study thesis
finished
- Functional summary edge computation for PDGs , bachelor/study thesis
- Verified Implementation of Patricia trees , study thesis
assigned
- Programmieren-Tutor , HiWi-Job
- Software security analysis with Isabelle/HOL , HiWi-Job