Sapper: A Language for Hardware-Level Security Policy Enforcement

Publication
ACM International Conference on Architectural Support for Programming Languages and Operating Systems