Jason K. Oberg

Latest

• Sapper: a Language for Provable Hardware Policy Enforcement
• Caisson: a Hardware Description Language for Secure Information Flow