Hala Ibrahim

According to our database1, Hala Ibrahim authored at least 8 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Non-Invasive Hardware Trojans Modeling and Insertion: A Formal Verification Approach.
J. Electron. Test., February, 2024

2023
Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification.
Proceedings of the 31st IFIP/IEEE International Conference on Very Large Scale Integration, 2023

2021
Implementation and Functional Verification of RISC-V Core for Secure IoT Applications.
Proceedings of the International Conference on Microelectronics, 2021

2020
On Error Injection for NoC Platforms: A UVM-Based Generic Verification Environment.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Noise Reduction in Reset Domain Crossings Verification Using Formal Verification.
Proceedings of the IEEE East-West Design & Test Symposium, 2020

2017
On Error Injection for NoC Platforms: A UVM-based Practical Case Study.
Proceedings of the 10th International Workshop on Network on Chip Architectures, 2017

Performance evaluation of virtual channel flow control in centralized and distributed networks for system on chip.
Proceedings of the 29th International Conference on Microelectronics, 2017

2016
A narrative of UVM testbench environment for interconnection routers: A practical approach.
Proceedings of the 11th International Design & Test Symposium, 2016


  Loading...