(2003) Parallelization of Iterative Heuristic for Performance-Driven Low-Power VLSI Standard Cell Placement. Masters thesis, King Fahd University of Petroleum & Minerals.

(2007) A Modular Reconfigurable Architecture for Asymmetric and Symmetric-key Cryptographic Algorithms. Masters thesis, King Fahd University of Petroleum and Minerals.

(1993) Back-end design of a formal high level synthesis system. Masters thesis, Advisor: Prof. Sadiq M. Sait, Co-Advisors: Dr. Khalid M. Elleithy and Dr. Samir Abdul Jauwad. KFUPM.

(2006) Design and analysis of efficient and secure elliptic curve cryptoprocessors. PhD thesis, Advisor: Dr. Alaaeldin A. Amin, Co-Advisor: Prof. Sadiq Sait Mohammed and Dr. Mohammad H. Al-Suwaiyel. KFUPM.