Short Paper: Towards Information Flow Reasoning about Real-World C Code.

Samuel Grtter, Toby C. Murray

Browse the full CCS paper archive.