Aslan Askarov, Stephen Chong, Heiko Mantel. Hybrid Monitors for Concurrent Noninterference. In Cédric Fournet, Michael W. Hicks, Luca Viganò, editors, IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015. pages 137-151, IEEE, 2015. [doi]
Abstract is missing.