A Hardware Design Language for Timing-Sensitive Information-Flow Security.

Danfeng Zhang, Yao Wang, G. Edward Suh, Andrew C. Myers

Browse the full ASPLOS paper archive.