@MastersThesis{ hohl:proving, author = {Thomas H\"ohl}, title = {Proving the Soundness of Cassandra's Security Type System in Isabelle/HOL}, school = {TU Darmstadt}, type = {Studienarbeit}, year = 2017 }