Export Citations
1 Results for: Book/Issue: PLDI '11: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,749,199 records)|Limit your search to The ACM Full-Text Collection (755,615 records)
Showing 1 - 1of1 Results
- research-articleJune 2011
Caisson: a hardware description language for secure information flow
PLDI '11: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and ImplementationJune 2011, Pages 109–120https://doi.org/10.1145/1993498.1993512Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system's root of trust. We incorporate insights and techniques from designing information-...
Also Published in:
ACM SIGPLAN Notices: Volume 46 Issue 6, June 2011