include_once 'declare.php'; $title = "Policy Weaving for Capability-based Operating Systems"; ob_start(); ?>
Content in progress
Content in progress
$content = ob_get_clean(); $linkGroups = array( "Publications" => array( "Declarative, temporal, and practical programming with capabilities" => "http://www.cs.wisc.edu/wpis/papers/oakland13.pdf", "Secure programming via visibly pushdown safety games" => "http://www.cs.wisc.edu/wpis/papers/CAV12-VPA.pdf", ), ); include_once "linkTemplate.php"; ?>