Author:
Ardeshiricham Armaiti,Hu Wei,Kastner Ryan
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Hardware/software security co-verification and vulnerability detection: An information flow perspective;Integration;2024-01
2. Security Verification of Low-Trust Architectures;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
3. SpecVerilog: Adapting Information Flow Control for Secure Speculation;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
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. Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance;2023 IEEE 41st VLSI Test Symposium (VTS);2023-04-24