Khitam Alatoun

According to our database, Khitam Alatoun authored at least 3 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Efficient Method for Timing-based Information Flow Verification in Hardware Designs.

Khitam M. Alatoun, Ranga Vemuri

Proceedings of the GLSVLSI '22: Great Lakes Symposium on VLSI 2022, Irvine CA USA, June 6, 2022

2021

SoC Trust Validation Using Assertion-Based Security Monitors.

Khitam Alatoun, Bharath Shankaranarayanan, Shanmukha Murali Achyutha, Ranga Vemuri

Proceedings of the 22nd International Symposium on Quality Electronic Design, 2021

Efficient Methods for SoC Trust Validation Using Information Flow Verification.

Khitam M. Alatoun, Shanmukha Murali Achyutha, Ranga Vemuri

Proceedings of the 39th IEEE International Conference on Computer Design, 2021