Now showing items 1-2 of 2

    • Global and Local Monitors to Enforce Noninterference in Concurrent Programs 

      Askarov, Aslan; Chong, Stephen N; Mantel, Heiko (2015)
      Controlling confidential information in concurrent systems is difficult, due to covert channels resulting from interaction between threads. This problem is exacerbated if threads share resources at fine granularity. In ...
    • Hybrid Monitors for Concurrent Noninterference 

      Askarov, Aslan; Chong, Stephen N; Mantel, Heiko (2015)
      Controlling confidential information in concurrent systems is difficult, due to covert channels resulting from interaction between threads. This problem is exacerbated if threads share resources at fine granularity. In ...