受强制性开放获取政策约束的文章 - Andrew Ferraiuolo了解详情
可在其他位置公开访问的文章：6 篇
Komodo: Using verification to disentangle secure-enclave hardware from software
A Ferraiuolo, A Baumann, C Hawblitzel, B Parno
Proceedings of the 26th Symposium on Operating Systems Principles, 287-305, 2017
强制性开放获取政策： US National Science Foundation
SecDCP: secure dynamic cache partitioning for efficient timing channel protection
Y Wang, A Ferraiuolo, D Zhang, AC Myers, GE Suh
Proceedings of the 53rd Annual Design Automation Conference, 1-6, 2016
强制性开放获取政策： US National Science Foundation
Verification of a practical hardware security architecture through static information flow analysis
A Ferraiuolo, R Xu, D Zhang, AC Myers, GE Suh
Proceedings of the Twenty-Second International Conference on Architectural …, 2017
强制性开放获取政策： US National Science Foundation, US National Aeronautics and Space Administration
HyperFlow: A processor architecture for nonmalleable, timing-safe information flow security
A Ferraiuolo, M Zhao, AC Myers, GE Suh
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
强制性开放获取政策： US National Science Foundation, US Department of Defense, US National …
Secure information flow verification with mutable dependent types
A Ferraiuolo, W Hua, AC Myers, GE Suh
Proceedings of the 54th Annual Design Automation Conference 2017, 1-6, 2017
强制性开放获取政策： US National Science Foundation, US National Aeronautics and Space Administration
Secure autonomous cyber-physical systems through verifiable information flow control
J Liu, J Corbett-Davies, A Ferraiuolo, A Ivanov, M Luo, GE Suh, AC Myers, ...
Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and …, 2018
强制性开放获取政策： US National Science Foundation, US National Aeronautics and Space Administration
出版信息和资助信息由计算机程序自动确定