Vineeth Kashyap
Home
Publications
Posts
Frederic T. Chong
Latest
Sapper: A Language for Hardware-Level Security Policy Enforcement
Sapper: a Language for Provable Hardware Policy Enforcement
Cite
×