@InProceedings{ askarov.chong.ea:hybrid, author = {Aslan Askarov and Stephen Chong and Heiko Mantel}, title = {Hybrid Monitors for Concurrent Noninterference}, booktitle = {Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF)}, publisher = {IEEE Computer Society}, month = {July}, year = 2015, pages = {137-151}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2015/2015-CSF-AskarovChongMantel.pdf} }