Publications

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.

DOI

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.

PDF Slides DOI

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).

PDF Slides DOI

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).

PDF Slides DOI

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.

PDF Slides

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.

PDF Slides

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.

PDF Slides DOI

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

PDF Poster

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

PDF Slides

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).

PDF Slides DOI

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.

PDF DOI

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).

PDF Slides DOI

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).

PDF Poster DOI

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).

PDF Poster DOI

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.

PDF

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).

PDF DOI