Sapper: a language for hardware-level security policy enforcement

Xun Li 0001, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong. Sapper: a language for hardware-level security policy enforcement. In Rajeev Balasubramonian, Al Davis, Sarita V. Adve, editors, Architectural Support for Programming Languages and Operating Systems, ASPLOS '14, Salt Lake City, UT, USA, March 1-5, 2014. pages 97-112, ACM, 2014. [doi]

Abstract

Abstract is missing.