Automating hardware security property generation-Reference-Cited by-同舟云学术

Automating hardware security property generation

Published:2022-07-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 59th ACM/IEEE Design Automation Conference
language:
Short-container-title:

Author:

Kastner Ryan¹,Restuccia Francesco¹,Meza Andres¹,Ray Sayak²,Fung Jason²,Sturton Cynthia³

Affiliation:

1. UC San Diego

2. Intel

3. University of North Carolina

Publisher

ACM

Link

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

Reference16 articles.

1. 2022. Hack@Event. http://hackatevent.org/. 2022. Hack@Event. http://hackatevent.org/.

2. Special Session: CAD for Hardware Security - Automation is Key to Adoption of Solutions

3. Ghada Dessouky , David Gens , Patrick Haney , Garrett Persyn , Arun Kanuparthi , Hareesh Khattri , Jason M. Fung , Ahmad-Reza Sadeghi , and Jeyavijayan Rajendran . 2019 . HardFails: Insights into Software-Exploitable Hardware Bugs . In 28th USENIX Security Symposium (USENIX Security 19) . USENIX Association, 213--230. https://www.usenix.org/conference/usenixsecurity19/presentation/dessouky Ghada Dessouky, David Gens, Patrick Haney, Garrett Persyn, Arun Kanuparthi, Hareesh Khattri, Jason M. Fung, Ahmad-Reza Sadeghi, and Jeyavijayan Rajendran. 2019. HardFails: Insights into Software-Exploitable Hardware Bugs. In 28th USENIX Security Symposium (USENIX Security 19). USENIX Association, 213--230. https://www.usenix.org/conference/usenixsecurity19/presentation/dessouky

4. Isadora

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

1. Towards Zero-Trust Hardware Architectures in Safety and Security Critical System-on-Chips;2024 IEEE 3rd Real-Time and Intelligent Edge Computing Workshop (RAGE);2024-05-13

2. Security Verification of the OpenTitan Hardware Root of Trust;IEEE Security & Privacy;2023-05

3. Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance;2023 IEEE 41st VLSI Test Symposium (VTS);2023-04-24

4. VLSI Design and Test View of Computer Security;2023 International VLSI Symposium on Technology, Systems and Applications (VLSI-TSA/VLSI-DAT);2023-04-17

5. Analyzing Side-Channel Attack Vulnerabilities at RTL;2023 IEEE 24th Latin American Test Symposium (LATS);2023-03-21