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)

Efficient Method for Timing-based Information Flow Verification in Hardware Designs. - Khitam M. Alatoun; Ranga Vemuri (ACM Great Lakes Symposium on VLSI, 2022)