@InProceedings{ mantel.sudbrock:flexible, author = {Heiko Mantel and Henning Sudbrock}, title = {Flexible Scheduler-Independent Security}, booktitle = {Proceedings of the 15th European Symposium on Research in Computer Security (ESORICS)}, publisher = {Springer}, year = 2010, series = {LNCS 6345}, pages = {116--133}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2010/WebversionMantelSudbrock.pdf} }