Danfeng Zhang, Yao Wang, G. Edward Suh, Andrew C. Myers. A Hardware Design Language for Timing-Sensitive Information-Flow Security. In Özcan Özturk, Kemal Ebcioglu, Sandhya Dwarkadas, editors, Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '15, Istanbul, Turkey, March 14-18, 2015. pages 503-516, ACM, 2015. [doi]
Abstract is missing.