@conference {585, title = {Hybrid Monitors for Concurrent Noninterference}, booktitle = {Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF)}, year = {2015}, author = {Aslan Askarov and Stephen Chong and Heiko Mantel} }