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]

Authors

Alireza Abolhasani Zeraatkar

This author has not been identified. Look up 'Alireza Abolhasani Zeraatkar' in Google

Parnian Shabani Kamran

This author has not been identified. Look up 'Parnian Shabani Kamran' in Google

Hussain Al-Asaad

This author has not been identified. Look up 'Hussain Al-Asaad' in Google