@PhDThesis{	  th:Sudbrock2013,
  author	= {Henning Sudbrock},
  title		= {Compositional and Scheduler-Independent Information Flow
		  Security},
  school	= {Technische Universit\"at Darmstadt},
  year		= 2013,
  address	= {Darmstadt, Germany},
  month		= {April},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2014/2014-04-12-sudbrock-dissertation-final.pdf}
}