Andreas Gampe, Jeffery von Ronne. Security completeness: towards noninterference in composed languages. In Prasad Naldurg, Nikhil Swamy, editors, Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013. pages 27-38, ACM, 2013. [doi]
Abstract is missing.