Multiple reset domains verification using assertion based verification. - Islam Ahmed; Khaled Nouh; Amr Abbas (VLSI-SoC, 2017)

Low Area and Low Power Implementation for CAESAR Authenticated Ciphers. - Amr Abbas; Hassan Mostafa; Ahmed Nader Mohieldin (NGCAS, 2018)

Low Area and Low Power Implementation for Competition for Authenticated Encryption, Security, Applicability, and Robustness Authenticated Ciphers. - Amr Abbas; Hassan Mostafa; Ahmed Nader Mohieldin (J. Low Power Electron., 2019)