Program Transformation for Non-interference Verification on Programs with Pointers.

Mounir Assaf, Julien Signoles, Frdric Tronel, Eric Totel

Browse the full SEC paper archive.