Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis-Reference-Cited by-同舟云学术

Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis

Published:2017-04-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Ferraiuolo Andrew¹,Xu Rui¹,Zhang Danfeng²,Myers Andrew C.¹,Suh G. Edward¹

Affiliation:

1. Cornell University, Ithaca, NY, USA

2. Penn State University, University Park, PA, USA

Funder

National Aeronautics and Space Administration

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3037697.3037739

Reference43 articles.

1. Rick Boivie. SecureBlue Rick Boivie. SecureBlue

2. : CPU Support for Secure Execution. http://researcher.watson.ibm.com/researcher/view_group.php?id=7253 2012. : CPU Support for Secure Execution. http://researcher.watson.ibm.com/researcher/view_group.php?id=7253 2012.

3. Intel Corporation. Intel Software Guard Extensions Programming Reference 2014. Intel Corporation. Intel Software Guard Extensions Programming Reference 2014.

4. Intel Corporation. Intel Trusted Execution Technology Software Development Guide 2015. Intel Corporation. Intel Trusted Execution Technology Software Development Guide 2015.

5. Intel Corporation. Intel Xeon Processor E7--8800/4800/2800 Product Families: Specification Update 2015. Intel Corporation. Intel Xeon Processor E7--8800/4800/2800 Product Families: Specification Update 2015.

Cited by 49 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

2. Domain-Agnostic Representation of Side-Channels;Entropy;2024-08-13

3. Does Every Computer Scientist Need to Know Formal Methods?;Formal Aspects of Computing;2024-06-10

4. A Design of Code Protection Scheme Based on the Combination of OPTEE and Encrypted File System;Communications in Computer and Information Science;2024

5. Forschungsrichtungen;Logic Locking;2024