Secure information flow verification with mutable dependent types
Andrew Ferraiuolo, Weizhe Hua, Andrew C. Myers, G. Edward Suh[doi] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 54th Annual Design Automation Conference 2017
ACM
Pages 6
2017
Topic(s): security types
Note(s): hardware, information flow, dependent type
ACM
Pages 6
2017
Topic(s): security types
Note(s): hardware, information flow, dependent type