Hala Ibrahim

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 8

Top Topics

Noise Reduction

Formal Verification

Mutual Authentication

Bounded Model Checking

Top Venues

Publications

Hala Ibrahim, Haytham Azmi, M. Watheq El-Kharashi, Mona Safar
Non-Invasive Hardware Trojans Modeling and Insertion: A Formal Verification Approach. J. Electron. Test. 40 (1) (2024)
Hala Ibrahim, Haytham Azmi, M. Watheq El-Kharashi, Mona Safar
Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification. VLSI-SoC (2023)
Abdelrahman Adel, Dina Saad, Mahmoud Abd El Mawgoed, Mohamed Sharshar, Zyad Ahmed, Hala Ibrahim, Hassan Mostafa
Implementation and Functional Verification of RISC-V Core for Secure IoT Applications. ICM (2021)
Mohamed Fawzy, Ahmed Elgohary, Hala Ibrahim
Noise Reduction in Reset Domain Crossings Verification Using Formal Verification. EWDTS (2020)
Sameh El-Ashry, Mostafa Khamis, Hala Ibrahim, Ahmed Shalaby, Mohamed Abdelsalam, M. Watheq El-Kharashi
On Error Injection for NoC Platforms: A UVM-Based Generic Verification Environment. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (5) (2020)
Ahmed El-Naggar, Ahmed Medhat, Bassma Al-Abassy, Essraa Massoud, Hala Ibrahim, Mostafa Khamis, Ahmed Shalaby
Performance evaluation of virtual channel flow control in centralized and distributed networks for system on chip. ICM (2017)
Sameh El-Ashry, Hala Ibrahim, Moamen A. Ibrahem, Mostafa Khamis, Ahmed Shalaby, Mohamed Abdelsalam, M. Watheq El-Kharashi
On Error Injection for NoC Platforms: A UVM-based Practical Case Study. NoCArc@MICRO (2017)
Ahmed El-Naggar, Essraa Massoud, Ahmed Medhat, Hala Ibrahim, Bassma Al-Abassy, Sameh El-Ashry, Mostafa Khamis, Ahmed Shalaby
A narrative of UVM testbench environment for interconnection routers: A practical approach. IDT (2016)