Jamal H. Mosakheil

Senior Cloud Technology Validation Software Engineer with 8+ years of experience in validating CPU/GPU confidential compute features and managing large-scale databases. Expertise in applied cryptography, focusing on data security, AI security, blockchain security, and identity management. Ph.D. in Computer Science with published research in IEEE and ACM on cryptographic protocol design and verifiable computation.

• Project: PKChain – A compromise-tolerant and verifiable public key management blockchain

PKChain offers a decentralized public key management system with proactive security via threshold block validation and a collaborative certificate issuance mechanism, eliminating the single point of failure in traditional PKI systems

• SilentProof: Anonymous Authentication with Blockchain-Backed Offloading

SilentProof is a blockchain-backed, anonymous authentication protocol that offloads credential presentation via zero-knowledge proxy re-identification and blind signatures, enhancing scalability, security, and privacy for resource-limited clients.

• zkAdHoc: Folding-based Zero-Knowledge Proofs of Training with On-demand Proving for Federated Learning

zkAdHoc is a zero-knowledge proof of correctness for deep neural network training that enables on-demand proof generation for selected training iterations without requiring model re-training, ensuring both scalability and privacy in Federated Learning

ORCID: https://orcid.org/0009-0009-6155-3630

• Fulbright Scholar (07/2016 – 05/2018) – Awarded a two-year Fulbright Scholarship by U.S. State department to pursue a Master’s degree in Cybersecurity at St. Cloud State University, MN, USA.
• ICCR Scholar (06/2007 – 06/2011) – Awarded a four-year Indian Council for Cultural Relations (ICCR) Scholarship by Indian government to pursue a Bachelor’s degree in Computer Engineering at Kurukshetra University, Haryana, India.