Daniel Wasserrab

According to our database, Daniel Wasserrab authored at least 13 papers between 2006 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Checking probabilistic noninterference using JOANA.

Gregor Snelting, Dennis Giffhorn, Jürgen Graf, Christian Hammer, Martin Hecker, Martin Mohr, Daniel Wasserrab

it Inf. Technol., 2014

Kryptographische Hashfunktionen: Historie, Angriffe und aktuell sichere Standards.

Christian Wenzel-Benner, Daniel Wasserrab

Proceedings of the Automotive, 2014

2011

From formal semantics to verified slicing: a modular framework with applications in language based security.

Daniel Wasserrab

PhD thesis, 2011

2010

Information Flow Noninterference via Slicing.

Daniel Wasserrab

Arch. Formal Proofs, 2010

Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing.

Daniel Wasserrab, Denis Lohner

Proceedings of the 6th International Verification Workshop, 2010

2009

Backing up Slicing: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer.

Daniel Wasserrab

Arch. Formal Proofs, 2009

On PDG-based noninterference and its modular proof.

Daniel Wasserrab, Denis Lohner, Gregor Snelting

Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009

2008

Towards Certified Slicing.

Daniel Wasserrab

Arch. Formal Proofs, 2008

A Correctness Proof for the Volpano/Smith Security Typing System.

Gregor Snelting, Daniel Wasserrab

Arch. Formal Proofs, 2008

Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL.

Daniel Wasserrab, Andreas Lochbihler

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

2007

C++ ist typsicher? Garantiert!

Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip

Proceedings of the Software Engineering 2007, 2007

2006

CoreC++.

Daniel Wasserrab

Arch. Formal Proofs, 2006

An operational semantics and type safety prooffor multiple inheritance in C++.

Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006