Ryan Kastner

Latest

• Sapper: A Language for Hardware-Level Security Policy Enforcement
• Sapper: a Language for Provable Hardware Policy Enforcement