Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning. Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control. In Jing Sun 0002, Meng Sun 0002, editors, Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Volume 11232 of Lecture Notes in Computer Science, pages 284-300, Springer, 2018.
Abstract is missing.