Funder
NSF CAREER Award
Boeing
National Science Foundation
CCS-AD
Boeing Corporation
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Optimized and Automated Secure IC Design Flow: A Defense-in-Depth Approach;IEEE Transactions on Circuits and Systems I: Regular Papers;2024-05
2. SRIL: Securing Registers from Information Leakage at Register Transfer Level;2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID);2024-01-06
3. Verification;Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes;2024
4. 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
5. Security of Hardware Generators: Enabling Assurance in High-Level Synthesis;2023 IEEE 66th International Midwest Symposium on Circuits and Systems (MWSCAS);2023-08-06