Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel. Program Transformation for Non-interference Verification on Programs with Pointers. In Lech J. Janczewski, Henry B. Wolfe, Sujeet Shenoi, editors, Security and Privacy Protection in Information Processing Systems - 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings. Volume 405 of IFIP Advances in Information and Communication Technology, pages 231-244, Springer, 2013. [doi]
Abstract is missing.