Publications

. Functional Cryptanalysis: Application to reduced-round Xoodoo. IACR Cryptology ePrint Archive (2022)

PDF

. Rotational analysis of ChaCha permutation Advances in Mathematics of Communications (2021)

PDF

. New Records of Pre-image Search of Reduced SHA-1 Using SAT Solvers. ICMC 2021

PDF

. Constant Time Algorithms for ROLLO-I-128. SN Computer Science, Volume 2 (2021).

PDF

. Advances and Challenges of Rank Metric Cryptography Implementations.. ICCD 2019.

PDF

. Solving a Binary Puzzle. Mathematics in Computer Science, Volume 11, 2017.

PDF

. M4GB: An Efficient Grobner Basis Algorithm. International Symposium on Symbolic and Algebraic Computation, 2017.

PDF

. Relating Undisturbed Bits to Other Properties of Substitution Boxes. Lightweight Cryptography for Security and Privacy - Third International Workshop (LightSec), Istanbul, Turkey, 2014.

PDF

. Relating Undisturbed Bits to Other Properties of Substitution Boxes. MS Thesis. Institute of Applied Mathematics, Middle East Technical University, 2014.

PDF

. Protection of Integrity and Ownership of PDF Documents Using Invisible Signature. 14th International Conference on Computer Modelling and Simulation (UKSim), Cambridge, United Kingdom, 2012.

PDF

Softwares

SageMath

SageMath is a free open-source mathematics software system licensed under the GPL. I have been actively developing the Boolean functions and S-Box module by implementing various algorithms to evaluate their cryptographic properties. The current state of the implementation covers fundamental evaluation criteria related to nonlinearity, differential properties, algebraic aspects, branch numbers, bentness, etc.

M4GB

M4GB is an efficient Groebner basis algorithm designed specifically to maintain tail-reduced polynomials. This C++11 implementation is optimized for dense overdefined system of polynomial equations that represent multivariate public key and digital signature schemes. M4GB and its implementation successfully broke several concrete parameters for multivariate signature algorithm, a potential candidate for post-quantum digital signature scheme. The result is available at https://www.mqchallenge.org.

Teaching

  1. Discrete Mathematics – July 2010 - October 2010
  2. Elements of Programming (C/C++) – July 2010 - October 2010
  3. Elements of Programming (C/C++) – May 2009 - October 2009