Hybrid monitors for concurrent noninterference Askarov, Aslan Chong, Stephen Mantel, Heiko 2015 - TUHH Open Research