Efficient Methods for SoC Trust Validation Using Information Flow Verification. - Khitam M. Alatoun; Shanmukha Murali Achyutha; Ranga Vemuri (ICCD, 2021)

SoC Trust Validation Using Assertion-Based Security Monitors. - Khitam Alatoun; Bharath Shankaranarayanan; Shanmukha Murali Achyutha; Ranga Vemuri (ISQED, 2021)

Security Analysis of a System-on-Chip Using Assertion-Based Verification. - Padmaja Bhamidipati; Shanmukha Murali Achyutha; Ranga Vemuri (MWSCAS, 2021)