@MastersThesis{ schneider:instancespecificsecurity, author = {David Schneider}, title = {Instance-Specific Security Domain Assignments in Sequential Programming Languages}, school = {TU Darmstadt}, type = {Bachelor Thesis}, year = 2012 }