An Axiomatic Approach to Detect Information Leaks in Concurrent Programs

Sandip Ghosal, R. K. Shyamasundar

Realizing flow security in a concurrent environment is extremely challenging, primarily due to non-deterministic nature of execution. The difficulty is further exacerbated from a s…