Arab Academy for Science, Technology, and Maritime Transport — Egypt
Computer Science · Physical Sciences
10h-index329citations13works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Cryptographic Implementations and Security(7), Security and Verification in Computing(6), Advanced Malware Detection Techniques(4), Physical Unclonable Functions (PUFs) and Hardware Security(4), Formal Methods in Verification(3)
Publications13 total
Applied Cell Biology·2022· 1 cited
Computational Biology and Chemistry·2021· 19 cited
Lecture notes in computer science·2016· 29 cited
Constraint Based Program Synthesis for Embedded Software
2015
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2015· 25 cited
ACM Transactions on Software Engineering and Methodology·2014· 58 cited
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2014· 16 cited
2014· 43 cited
Lecture notes in computer science·2014· 40 citedOpen Access
Lecture notes in computer science·2014· 66 cited
Frequent Co-authors
Patrick Schaumont(5), Chao Wang(4), Mostafa Taha(3), Chao Wang(2), Chao Wang(1), Meng Wu(1), Mohamed E.M. Elhaj-Abdou(1), Amr El-Helw(1), Mohamed El-Habrouk(1), Chao Wang(1), Chao Wang(1), El-Sayed Eid(1), Mohamed Elhajabdou(1), Amr Maged Ehelw(1), Mohamed Elhabrouk(1)