Xun Li 0001, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong. Position paper: Sapper - a language for provable hardware policy enforcement. In Prasad Naldurg, Nikhil Swamy, editors, Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013. pages 39-44, ACM, 2013. [doi]
Abstract is missing.