An Axiomatic Approach to Detect Information Leaks in Concurrent Programs.

Sandip Ghosal, R. K. Shyamasundar

Browse the full ICSE paper archive.