@Misc{		  formal-information-flow-guarantees:dorothea,
  author	= {Case Study: An E-Learning Platform with Formal
		  Information-Flow Guarantees},
  title		= {Dorothea Treitz},
  institution	= {TU Darmstadt},
  year		= 2018,
  howpublished	= {Bachelor's thesis, TU Darmstadt}
}