Framework for Design and Verification of Information Flow Control Systems [pdf]unsat.cs.washington.edu2 pointsingve8 years ago