Caisson: a Hardware Description Language for Secure Information Flow

Xun Li, Mohit Tiwari, Jason K. Oberg, Vineeth Kashyap, Fred Chong, Tim Sherwood, Ben Hardekopf
PDF
Type
Conference paper
Publication
ACM SIGPLAN Conference on Programming Language Design and Implementation