Publications

Twin Column Parity Mixers and Gaston - A New Mixing Layer and Permutation. Advances in Cryptology (CRYPTO 2023), Santa Barbara, California, USA.

PDF

Boosting Differential-Linear Cryptanalysis of ChaCha7 with MILP. IACR Transactions on Symmetric Cryptology, Volume 2023, Number 2.

PDF

Rotational Analysis of ChaCha Permutation. Advances in Mathematics of Communications, Volume 17, Number 6, 2023.

PDF

Fully Automated Differential-Linear Attacks Against ARX Ciphers. Cryptographer's Track at the RSA Conference 2023 (CT-RSA), San Francisco, USA.

PDF

CLAASP: a Cryptographic Library for the Automated Analysis of Symmetric Primitives. Selected Areas in Cryptography (SAC) 2023, New Brunswick, Canada.

PDF

Towards Tight Differential Bounds of Ascon A Hybrid Usage of SMT and MILP. IACR Transactions on Symmetric Cryptology, Volume 2022, Number 3

PDF

An Estimator for the Hardness of the MQ Problem. AfricaCrypt 2022

PDF

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