Sapper: a Language for Provable Hardware Policy Enforcement

Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong
PDF
Type
Conference paper
Publication
Workshop on Programming Languages and Analysis for Security