Secure Information Flow Verification with Mutable Dependent Types.

Andrew Ferraiuolo, Weizhe Hua, Andrew C. Myers, G. Edward Suh

Browse the full DAC paper archive.