Tim Sherwood

Latest

• Sapper: A Language for Hardware-Level Security Policy Enforcement
• Caisson: a Hardware Description Language for Secure Information Flow