Education

Ph.D. in Computer Science

Université Du Luxembourg, Luxembourg

M.Sc. in Computer Science

Université Du Luxembourg, Luxembourg
  • Field: Information Security
  • Remark: Due to having a M.Sc in mathematics in mathematics, the master thesis was not submitted and the doctoral research started

M.Sc. in Mathematics

Sharif University of Technology,Tehran, Iran
  • Field: Pure Mathematics
  • Thesis Title: Manifolds of Non-Positive Curvature

B.Sc. in Mathematics

Sharif University of Technology,Tehran, Iran

Professional Experience

Postdoctoral Researcher

Interdisciplinary Centre for Security, Reliability and Trust (SnT)
  • Post quantum cryptography - Lattice-based crypto systems
  • Verifiable and Secure Electroninc voting protocols

Doctoral Researcher

Interdisciplinary Centre for Security, Reliability and Trust (SnT)
  • Cryptography
  • Zero-Knowledge proof systems
  • Inner Product encryption Schemes

Mathematic lecturer

Iran Virtual University ,Tehran, Iran

Digital Content designer

Mandegar Learning Development Company ,Tehran, Iran

Implementation:

PhD Research:

  • Foundation of cryptography, with a focus on Public Key Cryptosystems
    1. Digital signatures
    2. Commitment schemes
    3. Zero Knowledge proof systems
  • Zero-knowledge proof system, with a focus on elliptic curve zero-knowledge proof systems like Groth-Sahai WI proofs.
  • Functional encryption schemes, particularly inner product encryption schemes.
  • Secure, privacy-preserving electronic voting protocols

Mater Projects:

I've built some basic cryptosystems, such as:
  • RSA with key-length 1024; (C/C++)
  • Some attacks on RSA (Python; Sage library)
  • Homomorphic Encryption Scheme (Python; Sage library)
  • Enigma (Python and Rust)
  • Developing a Java library with data structures and algorithms for graph (big graphs) to compute specific metrics defined over the graph vertices.
  • Some attacksc on Stream ciphers and blockcipers

Skills:

Cryptography:

Public Key Cryptosystems:
Zero-Knowledge Proof systmes
Functional encryption Schemes

Mathematics:

Linea Algebra
Probability
Number Theory

Programming:

Python
Expert
Rust
C++, Java, html,..
familiar

Security:

Verifiablity:
Verifiable and Secure E-Voting
Cyber Security
familiar