Publications

Faiz Alam, Mohamed Tarek Ibn Ziad, Yuanchao Xu, Abdulrahman Mahmoud, Aamer Jaleel, And Greg Byrd (2026). ShareMMU: Supporting Secure Address Translation Sharing among Untrusted Accelerators. In the 59th IEEE/ACM International Symposium on Microarchitecture (MICRO 2026).

Mohamed Tarek Ibn Ziad, Sana Damani, Mark Stephenson, Stephen W. Keckler, And Aamer Jaleel (2026). GPUArmor: A Hardware-Software Co-design for Efficient and Scalable Memory Safety on GPUs. In the ACM Transactions on Architecture and Code Optimization (TACO).

Mark Stephenson, Sana Damani, Mohamed Tarek Ibn Ziad, Anis Ladram, And Michael Garland (2026). SuperCollider: Scalable and Effective Data Race Detection for CUDA. In the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2026).

PDF Dataset DOI Appendix

Mohamed Tarek Ibn Ziad, Christos Kozyrakis (2026). Hunting CUDA Bugs at Scale with cuFuzz. In the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2026).

PDF Code Dataset DOI

Yueqi Wang, Bingyao Li, Mohamed Tarek Ibn Ziad, Lieven Eeckhout, Jun Yang, Aamer Jaleel, Xulong Tang (2025). OASIS: Object-Aware Page Management for Multi-GPU Systems. In the 2025 IEEE International Symposium on High Performance Computer Architecture (HPCA).

Evgeny Manzhosov, Adam Hastings, Meghna Pancholi, Ryan Piersma, Mohamed Tarek Ibn Ziad, And Simha Sethumadhavan (2023). Revisiting Residue Codes for Modern Memories (IEEE Micro - Top Picks). In IEEE Micro - Top Picks in Computer Architecture.

Michael B. Sullivan, Mohamed Tarek Ibn Ziad, Aamer Jaleel, And Stephen W. Keckler (2023). Implicit Memory Tagging: No-Overhead Memory Safety Using Alias-Free Tagged ECC. In the 50th Annual International Symposium on Computer Architecture.

PDF Slides Video

Mohamed Tarek Ibn Ziad, Sana Damani, Aamer Jaleel, Stephen W. Keckler, And Mark Stephenson (2023). cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications. In the 44th ACM SIGPLAN Conference on Programming Language Design and Implementation.

Evgeny Manzhosov, Adam Hastings, Meghna Pancholi, Ryan Piersma, Mohamed Tarek Ibn Ziad, And Simha Sethumadhavan (2022). Revisiting Residue Codes for Modern Memories. In the 2022 International Symposium on Microarchitecture (MICRO).

Mohamed Tarek Ibn Ziad (2022). Hardware-Software Co-design for Practical Memory Safety. Ph.D Dissertation.

PDF Slides Video

Mohamed Tarek Ibn Ziad, Miguel A. Arroyo, Evgeny Manzhosov, Vasileios P. Kemerlis, And Simha Sethumadhavan (2021). EPI: Efficient Pointer Integrity For Securing Embedded Systems. In the 2021 International Symposium on Secure and Private Execution Environment Design (SEED).

Mohamed Tarek Ibn Ziad, Miguel A. Arroyo, Evgeny Manzhosov, Vasileios P. Kemerlis, And Simha Sethumadhavan (2021). Securing Resource-Constrained Processors with Name Confusion. Technical Report.

Mohamed Tarek Ibn Ziad, Miguel A. Arroyo, Evgeny Manzhosov, And Simha Sethumadhavan (2021). ZeRØ: Zero-Overhead Resilient Operation Under Pointer Integrity Attacks. In the 48th Annual International Symposium on Computer Architecture.

PDF Slides Video DOI

Mohamed Tarek Ibn Ziad, Miguel A. Arroyo, Evgeny Manzhosov, Ryan Piersma, And Simha Sethumadhavan (2021). No-FAT: Architectural Support for Low Overhead Memory Safety Checks. In the 48th Annual International Symposium on Computer Architecture.

PDF Slides Video DOI

Mohamed Tarek Ibn Ziad, Miguel A. Arroyo, And Simha Sethumadhavan (2020). SPAM: Stateless Permutation of Application Memory. Technical Report.

PDF Slides Video

Mohamed Tarek Ibn Ziad (2020). Why is memory safety still a concern?. Ph.D Candidacy Exam.

Hiroshi Sasaki, Miguel A. Arroyo, M. Tarek Ibn Ziad, Koustubha Bhat, Kanad Sinha, And Simha Sethumadhavan (2019). Practical Byte-Granular Memory Blacklisting using Califorms. In the 52nd IEEE/ACM International Symposium on Microarchitecture.

PDF Poster Slides Video DOI

Miguel A. Arroyo, M. Tarek Ibn Ziad, Hidenori Kobayashi, Junfeng Yang, And Simha Sethumadhavan (2019). YOLO: Frequently Resetting Cyber-Physical Systems for Security. In SPIE Defense & Commercial Sensing Conference.

M. Tarek Ibn Ziad and Simha Sethumadhavan (2019). Subtractive Hardware Trojans. In RSA Conference.

Mohamed Tarek Ibn Ziad (2017). Homomorphic Encryption for Secure Data Computations. M.Sc Thesis.

M. Tarek Ibn Ziad, Amr Alanwar, Moustafa Alzantot, And Mani Srivastava (2016). CryptoImg: Privacy Preserving Processing Over Encrypted Images. In the 2nd IEEE Workshop on Security and Privacy in the Cloud (SPC), held in conjunction with the IEEE Conference on Communications and Network Security (CNS).

PDF Code Slides DOI

M. Tarek Ibn Ziad, Y. Alkabani, M. W. El-Kharashi, K. Salah, And M. AbdelSalam (2015). Accelerating Electromagnetic Simulations: a Hardware Emulation Approach. In the 2015 IEEE International Conference on Electronics, Circuits, and Systems (ICECS).

M. Tarek Ibn Ziad, M. Hossam, M. A. Masoud, M. Nagy, H. A. Adel, Y. Alkabani, M. W. El-Kharashi, K. Salah, And M. AbdelSalam (2015). On Kernel Acceleration of Electromagnetic Solvers via Hardware Emulation. In the Computers & Electrical Engineering (CEE) Journal.

M. Tarek Ibn Ziad, Y. Alkabani, And M. W. El-Kharashi (2015). On Hardware Solution of Dense Linear Systems via Gauss-Jordan Elimination. In the 2015 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM).

M. Tarek Ibn Ziad, A Al-Anwar, Y. Alkabani, M. W. El-Kharashi, And H. Bedour (2015). Homomorphic Data Isolation for Hardware Trojan Protection. In the IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2015).

M. Tarek Ibn Ziad, M. Hossam, M. A. Masoud, M. Nagy, H. A. Adel, Y. Alkabani, M. W. El-Kharashi, K. Salah, And M. AbdelSalam (2015). Finite Element Emulation-based Solver for Electromagnetic Computations. In the 2015 IEEE International Symposium on Circuits and Systems (ISCAS).

M. Tarek Ibn Ziad, M. Hossam, M. A. Masoud, M. Nagy, H. A. Adel, Y. Alkabani, M. W. El-Kharashi, K. Salah, And M. AbdelSalam (2014). Acceleration of Numerical Solutions of Differential Equations Using FPGA-Based Emulation Technology. B.Sc Thesis.

M. Tarek Ibn Ziad, A Al-Anwar, Y. Alkabani, M. W. El-Kharashi, And H. Bedour (2014). E-Voting Attacks and Countermeasures. In the 28th International Conference on Advanced Information Networking and Applications Workshops (WAINA 2014).