@MastersThesis{	  gehring:program,
  author	= {Maximilian Gehring},
  title		= {Program Slicing as Preprocessing for a Quantitative
		  Security Analysis},
  school	= {TU Darmstadt},
  type		= {Master's Thesis},
  year		= 2023
}