Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control.

Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Bning

Browse the full ICFEM paper archive.