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/GurobiOnCryptanalysis
mhgharieb/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
mhgharieb/Lelantos-Smart-Contract
A Blockchain-based Anonymous Physical Delivery System
mhgharieb/zkSNARK-Open-Vote-Network
Code for the paper "Dispute-free Scalable Open Vote Network using zk-SNARKs", FC 2022 - WTSC'22
mhgharieb/Integral-Attack-T-TWINE
mhgharieb/Payment-Channel
mhgharieb/AES-Cryptoanalysis
mhgharieb/analysis_craft
mhgharieb/arxiv-latex-cleaner
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
mhgharieb/arxivify.sh
Generates a zip archive that is uploadable to arXiv.
mhgharieb/azan-gnome-shell-extension
Azan is an Islamic prayer times extension for Gnome Shell
mhgharieb/circom_tester
Provides tools for testing circom circuits.
mhgharieb/craftanalysis
Comprehensive Security Analysis of CRAFT
mhgharieb/CubeAttack_DP
mhgharieb/deep_speck
Supplementary code and data to "Improving Attacks on Round-Reduced Speck32/64 Using Deep Learning"
mhgharieb/drawio
Source to www.draw.io
mhgharieb/electron-tabs
Simple tabs for Electron applications
mhgharieb/GimliAnalysis
mhgharieb/Grain128DynamicCubeAttack
The supportive material for the ToSC paper
mhgharieb/Impossible-differentials-and-impossible-polytopic-transitions
mhgharieb/LowerBoundsAlgDegree
mhgharieb/manticore
Symbolic execution tool
mhgharieb/milp-three-subset-wo-unknown
mhgharieb/MILPBasedSearchAlgorithmDiff
Code for FSE 2020 - Improving the MILP-based Security Evaluation Algorithm against Differential-Linear Cryptanalysis Using A Divide-and-Conquer Approach
mhgharieb/mimikatz
A little tool to play with Windows security
mhgharieb/MonomialPrediction
Source codes for paper "An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independent Sums" accepted by ASIACRYPT 2020
mhgharieb/snarkjs
zkSNARK implementation in JavaScript & WASM
mhgharieb/speed-hpc
Speed: Gina Cody School HPC Facility: Scripts, Tools, and Refs
mhgharieb/Tools-for-Cryptanalysis
A repository that aims to provide tools for cryptography and cryptanalysis
mhgharieb/zk-Evote-HTLP