Author:
Farahmandi Farimah,Morad Ronny,Ziv Avi,Nevo Ziv,Mishra Prabhat
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exploring the Abyss? Unveiling Systems-on-Chip Hardware Vulnerabilities Beneath Software;IEEE Transactions on Information Forensics and Security;2024
2. AGILE: Automated Assertion Generation to Detect Information Leakage Vulnerabilities;IEEE Transactions on Information Forensics and Security;2024
3. Dynamic Refinement of Hardware Assertion Checkers;2023 Design, Automation & Test in Europe Conference & Exhibition (DATE);2023-04
4. Automated Generation of Security Assertions for RTL Models;ACM Journal on Emerging Technologies in Computing Systems;2023-01-19
5. Post Silicon Validation for I2C (SMBUS) Peripheral;2023 36th International Conference on VLSI Design and 2023 22nd International Conference on Embedded Systems (VLSID);2023-01