An operational semantics and type safety prooffor multiple inheritance in C++. - Daniel Wasserrab; Tobias Nipkow; Gregor Snelting; Frank Tip (OOPSLA, 2006)

CoreC++. - Daniel Wasserrab (Arch. Formal Proofs, 2006)

C++ ist typsicher? Garantiert! - Daniel Wasserrab; Tobias Nipkow; Gregor Snelting; Frank Tip (Software Engineering, 2007)

Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL. - Daniel Wasserrab; Andreas Lochbihler (TPHOLs, 2008)

A Correctness Proof for the Volpano/Smith Security Typing System. - Gregor Snelting; Daniel Wasserrab (Arch. Formal Proofs, 2008)

Towards Certified Slicing. - Daniel Wasserrab (Arch. Formal Proofs, 2008)

On PDG-based noninterference and its modular proof. - Daniel Wasserrab; Denis Lohner; Gregor Snelting (PLAS, 2009)

Backing up Slicing: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer. - Daniel Wasserrab (Arch. Formal Proofs, 2009)

Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing. - Daniel Wasserrab; Denis Lohner (VERIFY@IJCAR, 2010)

Information Flow Noninterference via Slicing. - Daniel Wasserrab (Arch. Formal Proofs, 2010)

From formal semantics to verified slicing: a modular framework with applications in language based security. - Daniel Wasserrab (2011)

Kryptographische Hashfunktionen: Historie, Angriffe und aktuell sichere Standards. - Christian Wenzel-Benner; Daniel Wasserrab (Automotive - Safety & Security, 2014)

Checking probabilistic noninterference using JOANA. - Gregor Snelting; Dennis Giffhorn; Jürgen Graf 001; Christian Hammer 001; Martin Hecker 001; Martin Mohr; Daniel Wasserrab (it Inf. Technol., 2014)