@MastersThesis{	  dix:type,
  author	= {Isabella Dix},
  title		= {A Type System and Implementation for Detecting the Lucky13
		  Vulnerability with SPASCA},
  school	= {TU Darmstadt},
  type		= {Master's Thesis},
  year		= 2018
}