Identifying Security Critical Properties for the Dynamic Verification of a Processor-Reference-Cited by-同舟云学术

Identifying Security Critical Properties for the Dynamic Verification of a Processor

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:

Zhang Rui¹,Stanley Natalie¹,Griggs Christopher¹,Chi Andrew¹,Sturton Cynthia¹

Affiliation:

1. The University of North Carolina at Chapel Hill, Chapel Hill, NC, USA

Funder

National Science Foundation

National Institutes of Health

Publisher

ACM

Link

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

Reference34 articles.

1. Revision Guide for AMD Family 16h Models 00h-0Fh Processors. Product Revision 2013. Revision Guide for AMD Family 16h Models 00h-0Fh Processors. Product Revision 2013.

2. Intel Core i7--600 i5--500 i5--400 and i3--300 Mobile Processor Series. Specification Update 2014. Intel Core i7--600 i5--500 i5--400 and i3--300 Mobile Processor Series. Specification Update 2014.

3. Integrated circuit security

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

1. Fuzzing for Automated SoC Security Verification: Challenges and Solution;IEEE Design & Test;2024-08

2. Exploring the Abyss? Unveiling Systems-on-Chip Hardware Vulnerabilities Beneath Software;IEEE Transactions on Information Forensics and Security;2024

3. SEIF: Augmented Symbolic Execution for Information Flow in Hardware Designs;Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy;2023-10-29

4. Formal Verification of Security Properties on RISC-V Processors;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21

5. T-TER: Defeating A2 Trojans with Targeted Tamper-Evident Routing;Proceedings of the ACM Asia Conference on Computer and Communications Security;2023-07-10