Towards formally verified compilation of tag-based policy enforcement.

Chris Chhak, Andrew Tolmach, Sean Noble Anderson

Browse the full CPP paper archive.