Daniel Wasserrab

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