A narrative of UVM testbench environment for interconnection routers: A practical approach. - Ahmed El-Naggar; Essraa Massoud; Ahmed Medhat; Hala Ibrahim; Bassma Al-Abassy; Sameh El-Ashry; Mostafa Khamis; Ahmed Shalaby 001 (IDT, 2016)

Performance evaluation of virtual channel flow control in centralized and distributed networks for system on chip. - Ahmed El-Naggar; Ahmed Medhat; Bassma Al-Abassy; Essraa Massoud; Hala Ibrahim; Mostafa Khamis; Ahmed Shalaby 001 (ICM, 2017)

On Error Injection for NoC Platforms: A UVM-based Practical Case Study. - Sameh El-Ashry; Hala Ibrahim; Moamen A. Ibrahem; Mostafa Khamis; Ahmed Shalaby 001; Mohamed Abdelsalam; M. Watheq El-Kharashi (NoCArc@MICRO, 2017)

Noise Reduction in Reset Domain Crossings Verification Using Formal Verification. - Mohamed Fawzy; Ahmed Elgohary; Hala Ibrahim (EWDTS, 2020)

On Error Injection for NoC Platforms: A UVM-Based Generic Verification Environment. - Sameh El-Ashry; Mostafa Khamis; Hala Ibrahim; Ahmed Shalaby 001; Mohamed Abdelsalam; M. Watheq El-Kharashi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Implementation and Functional Verification of RISC-V Core for Secure IoT Applications. - Abdelrahman Adel; Dina Saad; Mahmoud Abd El Mawgoed; Mohamed Sharshar; Zyad Ahmed; Hala Ibrahim; Hassan Mostafa (ICM, 2021)

Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification. - Hala Ibrahim; Haytham Azmi; M. Watheq El-Kharashi; Mona Safar (VLSI-SoC, 2023)

Non-Invasive Hardware Trojans Modeling and Insertion: A Formal Verification Approach. - Hala Ibrahim; Haytham Azmi; M. Watheq El-Kharashi; Mona Safar (J. Electron. Test., 2024)