FlowNotation: An Annotation System for Statically Enforcing Information Flow Policies in C.

Darion Cassel, Yan Huang, Limin Jia

Browse the full CCS paper archive.