Rethinking System-on-Chip Verification for Security Cross-Layer Interactions (2025)
AUTHORS: H. Al-Sjaikh, S. Saha, S. Kumar, F. Farahmandi, and M. Tehranipoor This article presents a new perspective on verification
October 5, 2025
AUTHORS: H. Al-Sjaikh, S. Saha, S. Kumar, F. Farahmandi, and M. Tehranipoor This article presents a new perspective on verification
AUTHORS: P. Calzada, Z. Ibnat, T. Rahman, K. Kandula, D. Lu, S. K. Saha, F. Farahmandi, and Mark Tehranipoor As
AUTHORS: S. Tarek, D. Saha, S. Saha, M. Tehranipoor, and F. Farahmandi As System-on-Chip (SoC) designs grow increasingly complex, manually
AUTHORS: D. Saha, S. Tarek, H. Al Shaikh, K. T. Hasan, P. S. Nalluri, A. Hasan, N. Alam, J. Zhou,
AUTHORS: K. Bepary, T. Zhang, J. zhou, F. Rahman, F. Farahmandi, M. Tehranipoor Due to the perils posed by side-channel
AUTHORS: P. P. Sarker, U. Das, N. Varshney, S. Shi. A. Kulkarni, F. Farahmandi, and M. Tehranipoor The increasing connectivity
AUTHORS: H. Al-Sjaikh, S. Saha, K. Z. Azar, F. Farahmandi, M. Tehranipoor, and F. Rahman Due to the increasingly complex
AUTHORS: R. Kibria, F. Farahmandi, and M. Tehranipoor As System-on-Chip (SoC) designs become more complex and increasingly rely on third-party
AUTHORS: M. Hossain, K. Z. Azar, F. Rahman, F. Farahmandi, and M. Tehranipoor Hardware-oriented fuzzing is an effective approach for
AUTHORS: D. Saha, S. Tarek, K. Yahyaei, S. Kumar, J. Zhuo, M. Tehranipoor, and F. Farahmandi As the ubiquity and
AUTHORS: A. Ayalasomayajula, N. Farzana, M. Tehranipoor, and F. Farahmandi The ubiquitous presence and utilization of System-on-Chips (SoCs) have made
AUTHORS: S. Rajendran, N. Farzana, S. Tarek, H. Kamali, F. Farahmandi, and M. Tehranipoor Due to the increasing size and