Author:
Ray Sayak,Ghosh Nishant,Masti Ramya Jayaram,Kanuparthi Arun,Fung Jason M.
Reference21 articles.
1. A. Horn etal 2013. Formal co-validation of low-level hardware/software interfaces.. In FMCAD. 121--128. A. Horn et al. 2013. Formal co-validation of low-level hardware/software interfaces.. In FMCAD. 121--128.
2. A Solver for Reachability Modulo Theories
3. AMD. 2012. AMD SB800-Series Southbridges BIOS Developer's Guide. https://www.amd.com/system/files/TechDocs/45483.pdf. AMD. 2012. AMD SB800-Series Southbridges BIOS Developer's Guide. https://www.amd.com/system/files/TechDocs/45483.pdf.
4. Apple. 2018. Apple BootROM 574.4. https://goo.gl/q3m5Ky. Apple. 2018. Apple BootROM 574.4. https://goo.gl/q3m5Ky.
Cited by
6 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. Hardware/software security co-verification and vulnerability detection: An information flow perspective;Integration;2024-01
3. Don't CWEAT It;Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design;2022-10-30
4. Automating hardware security property generation;Proceedings of the 59th ACM/IEEE Design Automation Conference;2022-07-10
5. Partial Reconfiguration for Run-time Memory Faults and Hardware Trojan Attacks Detection;2022 IEEE International Symposium on Hardware Oriented Security and Trust (HOST);2022-06-27