Zhang, et al.. A Hardware Design Language for Timing-sensitive Information-flow Security. Association for Computing Machinery (ACM), Mar. 2015, doi:10.1145/2775054.2694372.