Daniel Wasserrab

http://pp.info.uni-karlsruhe.de/personhp/daniel_wasserrab.php

2010

Inter-Procedural Information Flow Noninterference via Slicing
by Daniel Wasserrab

23 Mar

Information Flow Noninterference via Slicing
by Daniel Wasserrab

23 Mar

2009

Backing up Slicing: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer
by Daniel Wasserrab

13 Nov

2008

Towards Certified Slicing
by Daniel Wasserrab

16 Sep

A Correctness Proof for the Volpano/Smith Security Typing System
by Gregor Snelting and Daniel Wasserrab

02 Sep

2006

CoreC++
by Daniel Wasserrab

15 May