Combining Different Proof Techniques for Verifying Information Flow Security.

Heiko Mantel, Henning Sudbrock, Tina Krauer

Browse the full LOPSTR paper archive.