Caisson: a hardware description language for secure information flow.

Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf

Browse the full PLDI paper archive.