SPECS-Reference-Cited by-同舟云学术

SPECS

Published:2015-03-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Hicks Matthew¹,Sturton Cynthia²,King Samuel T.³,Smith Jonathan M.⁴

Affiliation:

1. University of Michigan, Ann Arbor, USA

2. University of North Carolina, Chapel Hill, USA

3. Twitter Inc., San Francisco, USA

4. University of Pennsylvania, Philadelphia, USA

Funder

National Science Foundation

Semiconductor Research Corporation

International Science and Technology Center

Publisher

ACM

Link

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

Reference45 articles.

1. Beyond Semiconductor "Beyond BA22 Embedded Processor " http://www.beyondsemi.com/25/beyond-ba22-embedded-processor. Beyond Semiconductor "Beyond BA22 Embedded Processor " http://www.beyondsemi.com/25/beyond-ba22-embedded-processor.

2. Bug Attacks

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

1. Theoretical Patchability Quantification for IP-Level Hardware Patching Designs;2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC);2024-01-22

2. 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

3. 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

4. Securing Network Information System Design: An Efficient Tool for DSP Undocumented Instruction Mining;Applied Sciences;2023-03-20

5. SeVNoC: Security Validation of System-on-Chip Designs With NoC Fabrics;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-02