Cited By
View all- Dipu NAyalasomayajula ATehranipoor MFarahmandi F(2024)AGILE: Automated Assertion Generation to Detect Information Leakage VulnerabilitiesIEEE Transactions on Information Forensics and Security10.1109/TIFS.2023.334397019(1794-1809)Online publication date: 2024
- Qin MZhu JMao BHu W(2024)Hardware/software security co-verification and vulnerability detectionIntegration, the VLSI Journal10.1016/j.vlsi.2023.10208994:COnline publication date: 1-Jan-2024
- Tehranipoor MZamiri Azar KAsadizanjani NRahman FMardani Kamali HFarahmandi FTehranipoor MZamiri Azar KAsadizanjani NRahman FMardani Kamali HFarahmandi F(2024)SoC Security Verification Using Fuzz, Penetration, and AI TestingHardware Security10.1007/978-3-031-58687-3_4(183-229)Online publication date: 3-Apr-2024
- Show More Cited By