Haytham Azmi

According to our database, Haytham Azmi authored at least 5 papers between 2003 and 2024.

Collaborative distances:

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

2024

Non-Invasive Hardware Trojans Modeling and Insertion: A Formal Verification Approach.

Hala Ibrahim, Haytham Azmi, M. Watheq El-Kharashi, Mona Safar

J. Electron. Test., February, 2024

2023

A Systematic Literature Review on Binary Neural Networks.

Ratshih Sayed, Haytham Azmi, Heba A. Shawkey, Ahmed H. Khalil, Mohamed Refky

IEEE Access, 2023

Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification.

Hala Ibrahim, Haytham Azmi, M. Watheq El-Kharashi, Mona Safar

Proceedings of the 31st IFIP/IEEE International Conference on Very Large Scale Integration, 2023

2020

Design Automation and Implementation of Machine Learning Classifier Chips.

Ratshih Sayed, Haytham Azmi, Amin M. Nassar, Heba A. Shawkey

IEEE Access, 2020

2003

FPGA based multi-standard configurable FSK demodulator.

Haytham Azmi, Hamed Elsimary, Mohamed Ibrahim Youssef, Ahmad Safwat

Integr., 2003