Visible to the public Language-Hardware Co-Design for Practical and Verifiable Information Flow Control

Submitted by edwardsuh on Tue, 12/13/2016 - 4:04pm. Contributors:
License: 
Creative Commons 2.5

Other available formats:

Language-Hardware Co-Design for Practical and Verifiable Information Flow Control
Switch to experimental viewer