Danfeng Zhang, Yao Wang, G. Edward Suh, Andrew C. Myers
A Hardware Design Language for Timing-Sensitive Information-Flow Security
ASPLOS, 2015.
@inproceedings{ASPLOS-2015-ZhangWSM,
author = "Danfeng Zhang and Yao Wang and G. Edward Suh and Andrew C. Myers",
booktitle = "{Proceedings of the 20th International Conference on Architectural Support for Programming Languages and Operating Systems}",
doi = "10.1145/2694344.2694372",
isbn = "978-1-4503-2835-7",
pages = "503--516",
publisher = "{ACM}",
title = "{A Hardware Design Language for Timing-Sensitive Information-Flow Security}",
year = 2015,
}