About

I am Mohammad Ferry Husnil Arif, a recent Computer Science graduate from Universitas Indonesia. I became interested in cryptography through CTF competitions, where I saw how abstract mathematics underlies real world security, and this gradually led me toward theoretical cryptography at the interface of mathematics and computer science.

Research Interest

I came to cryptography through my interest in algebra and number theory, where objects like groups, elliptic curves, isogenies, and lattices guarantee security. This has drawn to more foundational questions, such as which hardness assumptions and models are needed for primitives like proof systems and other cryptographic constructions, especially against quantum adversaries. More broadly, I enjoy the theoretical computer science side of cryptography and am building my background in complexity theory and quantum computing, both to understand their impact on cryptographic assumptions and for the complexity theoretic questions they raise on their own. In particular, I am interested in recent work in quantum cryptography based on problems beyond NP, whose security could in principle persist even in a hypothetical world where NP = P.

Education

Universitas Indonesia

BSc in Computer Science, Aug 2021 - Jul 2025

• GPA: 3.93/4.00, summa cumlaude
• Thesis: KZG Polynomial Commitment Schemes for zk-SNARKs: Design and Implementation
  📄 Slides 📝 Thesis ⚙️ Code

Publication

• On the Classical Hardness of the Semidirect Discrete Logarithm Problem in Finite Groups
  MFH Arif, M Imran.
  Indocrypt 2025. Preprint.

Selected Achievement

• Third Prize - International Mathematics Competition 2024 (IMC, Aug 2024)
• Honorable Mention - ONMIPA-PT 2024, Mathematics (Ministry of Education, May 2024)
• 2nd Place - Cyber Jawara 2024 Open Category (CSIRT and IdNSA, Feb 2025)
• 2nd Place - National Cyber Week 2023 CTF (Binus University, Dec 2023)