Muhammad ElSheikh

GurobiOnCryptanalysis. The accompanying code for the article "A cautionary note on the use of Gurobi for cryptanalysis".

MILP_DivisionProprerty_LinearLayer. Code for the paper "On MILP-based Automatic Search for Bit-Based Division Property for Ciphers with (large) Linear Layers", ACISP 2021

zkSNARK-Open-Vote-Network. Code for the paper "Dispute-free Scalable Open Vote Network using zk-SNARKs", FC 2022 - WTSC'22

Lelantos-Smart-Contract. Code for the paper "Lelantos: A blockchain-based anonymous physical delivery system", IEEE PST 2017

Speed_up_MILP_with_Matsui. Python

Faster-edDSA-Verification-hEEA_q. Code for the paper "Accelerating EdDSA Signature Verification with Faster Scalar Size Halving", TCHES - CHES 2025

Integral-Attack-T-TWINE. Python

Integral-Bel-T-256. Python