Sandip Ghosal, R. K. Shyamasundar. A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs. In 27th Asia-Pacific Software Engineering Conference, APSEC 2020, Singapore, December 1-4, 2020. pages 51-60, IEEE, 2020. [doi]
Abstract is missing.