Summary
Abdel Harchaoui is a researcher and Ph.D. student with a decade of experience at the intersection of cryptography, cloud security, and applied systems engineering. His PhD work focuses on augmenting Provable Data Possession and Proofs of Retrievability with zero-knowledge protocols, leveraging RSA accumulators and Sigma-protocols and extending to error-correcting codes for recoverability. He has hands-on experience porting advanced recursive proof components (Pickles) into next-generation proof systems and benchmarking modern proving frameworks like Halo2 and Plonky2. Prior roles span cybersecurity consulting, IT management, and leading development efforts to systematize freelance software delivery, demonstrating both research depth and practical operational leadership. Based in Tétouan, Morocco, Abdel combines formal protocol design with low-level circuit and C++ implementation skills—an uncommon mix that bridges theoretic crypto and production-ready proof tooling.
10 years of coding experience
3 years of employment as a software developer
University Degree, IT & software Development, University Degree, IT & software Development at L'Ecole Supérieure de Technologie de Meknès
Lycee Abou Kecem Zayani
Bachelor's Degree, IT Management, Bachelor's Degree, IT Management at Faculté Polydisciplinaire de Tétouan
Phd Student, Computer and Information Systems Security/Information Assurance, in progress, Phd Student, Computer and Information Systems Security/Information Assurance, in progress at Université Abdelmalek Essaâdi
Master of Education (MEd), Educational/Instructional Technology, Master of Education (MEd), Educational/Instructional Technology at ENS Tetouan
French, English, Arabic