Pinned Repositories
721R_Trivium_Test
GurobiOnCryptanalysis
Integral-Attack-T-TWINE
Integral-Bel-T-256
Lelantos-Smart-Contract
A Blockchain-based Anonymous Physical Delivery System
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
Payment-Channel
Speed_up_MILP_with_Matsui
zkSNARK-Open-Vote-Network
Code for the paper "Dispute-free Scalable Open Vote Network using zk-SNARKs", FC 2022 - WTSC'22
mhgharieb's Repositories
mhgharieb/Speed_up_MILP_with_Matsui
mhgharieb/Integral-Bel-T-256
mhgharieb/721R_Trivium_Test
mhgharieb/Analyze721Trivium
Practical Anlysis to the attacks on 721-round Trivium given by Fu et al. at Crypto'18
mhgharieb/belt
C implementation of the Belorussian standard STB 34.101.31-2011 (Bel-T) block cipher
mhgharieb/clusterfk
GUI tool for exploring semi-truncated differential characteristics of tweakable block ciphers.
mhgharieb/coding-interview-university
A complete computer science study plan to become a software engineer.
mhgharieb/cryptosmt
An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
mhgharieb/ExtendDivProp
mhgharieb/kuznechik
Implementation of the proposed Russian block cipher standard, Kuznechik ("Grasshopper"). 128-bit block size, 256-bit key.
mhgharieb/MILP-aided-Cube-attack-like-cryptanalysis
mhgharieb/MILP_Division_Property
Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers+Greedy Algorithm for Differential
mhgharieb/milp_speck
mhgharieb/MITM
mhgharieb/NewAutomaticSearchTool
New Automatic Search Tool for Impossible Differential and Zero-Correlation Linear Approximations
mhgharieb/PolyBoRi
mhgharieb/pyfinite
Finite field math in python including generic matrix operations and Reed-Solomon error correcting codes.
mhgharieb/retter
A collection of hash functions, ciphers, tools, libraries, and materials related to cryptography.
mhgharieb/submission_for_ctrsa
Some programs for submission to CT-RSA2019
mhgharieb/tinycrypt
Crypto stuff. Don't use.
mhgharieb/trivium
different implementations of the trivium stream-cipher
mhgharieb/YoyoTricksAES
Code for the attacks presented in "Yoyo Tricks with AES" at ASIACRYPT 2017