Provable security
Formal security definitions, game-based reasoning and reductions; exploring the scope and limitations of security claims.
Academic portfolio · Rabat, Morocco
Hamza El Ghabouchi
Master's student in Cryptography and Information Security, with a developing academic focus on theoretical cryptography, provable security and cryptographic protocols.
01 /
About
I am currently pursuing the second year of a Master's degree in Cryptography and Information Security at Mohammed V University, Faculty of Sciences, Rabat (2026–2027). I am particularly interested in understanding what cryptographic security claims mean: the security goals, adversarial models, assumptions and mathematical arguments used to justify them.
02 /
Academic interests
Cryptographic protocols
Security models and mathematical foundations of protocol design and analysis.
Zero-knowledge proofs
Learning about classical and post-quantum proof systems and their formal properties.
Post-quantum cryptography
Interest in constructions, assumptions and security analysis for a post-quantum setting.
03 /
Selected work
Elliptic Curve Cryptography Lab
C++ experiments with finite-field arithmetic and elliptic-curve operations, with a focus on tests and understanding the mathematical mechanisms. Educational work, not a production library.
C++ECCTestingBlockchain Tourism Prototype
Academic exploration of smart-contract development across Solana, Ethereum and EOSIO for tourism-related use cases. This is not a claim of audited or formally verified contracts.
SolanaEthereumEOSIOCryptography & Security Studies
Coursework-driven exploration of cryptographic primitives, security notions and examples, with programming used as a means of experimentation.
PythonSecurity gamesLaTeXNSUCRYPTO 2026
Participation in the second round and independent work on mathematical and cryptographic problems. No award or official research result is claimed.
Problem solvingMathematics04 /
Education
MSc — Cryptography and Information Security
Mohammed V University · Faculty of Sciences, Rabat · Currently in second year
Bachelor's degree — Mathematics and Computer Science
Faculty of Sciences Dhar El Mahraz · Fez
05 /
Contact
For academic discussions, internship opportunities and research-related correspondence: