Sound Non-interference Analysis for C/C++.

Daniel Kstner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jrg Herter, Christoph Cullmann, Christian Ferdinand

Browse the full SAFECOMP paper archive.