Daniel Wasserrab

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Venues

it Inf. Technol.

Automotive - Safety & Security

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Christian Wenzel-Benner, Daniel Wasserrab
Kryptographische Hashfunktionen: Historie, Angriffe und aktuell sichere Standards. Automotive - Safety & Security (2014)
Gregor Snelting, Dennis Giffhorn, Jürgen Graf, Christian Hammer, Martin Hecker, Martin Mohr, Daniel Wasserrab
Checking probabilistic noninterference using JOANA. it Inf. Technol. 56 (6) (2014)
Daniel Wasserrab, Denis Lohner
Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing. VERIFY@IJCAR (2010)
Daniel Wasserrab
Information Flow Noninterference via Slicing. Arch. Formal Proofs 2010 (2010)
Daniel Wasserrab
Backing up Slicing: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer. Arch. Formal Proofs 2009 (2009)
Daniel Wasserrab, Denis Lohner, Gregor Snelting
On PDG-based noninterference and its modular proof. PLAS (2009)
Gregor Snelting, Daniel Wasserrab
A Correctness Proof for the Volpano/Smith Security Typing System. Arch. Formal Proofs 2008 (2008)
Daniel Wasserrab, Andreas Lochbihler
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL. TPHOLs (2008)
Daniel Wasserrab
Towards Certified Slicing. Arch. Formal Proofs 2008 (2008)
Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip
C++ ist typsicher? Garantiert! Software Engineering (2007)
Daniel Wasserrab
CoreC++. Arch. Formal Proofs 2006 (2006)
Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip
An operational semantics and type safety prooffor multiple inheritance in C++. OOPSLA (2006)

Daniel Wasserrab.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Daniel Wasserrab