Advancements in Secure Computing: Exploring Automated Repair Debugging and Verification Techniques for Hardware Design

Alireza Abolhasani Zeraatkar, Parnian Shabani Kamran, Hussain Al-Asaad. Advancements in Secure Computing: Exploring Automated Repair Debugging and Verification Techniques for Hardware Design. In Rajashree Paul, Arpita Kundu, editors, 14th IEEE Annual Computing and Communication Workshop and Conference, CCWC 2024, Las Vegas, NV, USA, January 8-10, 2024. pages 357-364, IEEE, 2024. [doi]

Abstract

Abstract is missing.