@MastersThesis{	  keller:typbasierte,
  author	= {Jan Erik Keller},
  title		= {Der typbasierte Nachweis von Noninterference f\"ur
		  Dalvik-Programme mit Ausnahmebehandlung},
  school	= {TU Darmstadt},
  type		= {Master Thesis},
  year		= 2014
}