Caisson: A hardware description language for secure information flow,” (2011)

by X Li, M Tiwari, J K Oberg, V Kashyap, F T Chong, T Sherwood, B Hardekopf
Venue:in Proceedings of PLDI 2011, S.