Muhammad ElSheikh's repositories
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
Lelantos-Smart-Contract
A Blockchain-based Anonymous Physical Delivery System
zkSNARK-Open-Vote-Network
Code for the paper "Dispute-free Scalable Open Vote Network using zk-SNARKs", FC 2022 - WTSC'22
arxiv-latex-cleaner
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
arxivify.sh
Generates a zip archive that is uploadable to arXiv.
azan-gnome-shell-extension
Azan is an Islamic prayer times extension for Gnome Shell
circom_tester
Provides tools for testing circom circuits.
craftanalysis
Comprehensive Security Analysis of CRAFT
deep_speck
Supplementary code and data to "Improving Attacks on Round-Reduced Speck32/64 Using Deep Learning"
drawio
Source to www.draw.io
electron-tabs
Simple tabs for Electron applications
Grain128DynamicCubeAttack
The supportive material for the ToSC paper
manticore
Symbolic execution tool
MILPBasedSearchAlgorithmDiff
Code for FSE 2020 - Improving the MILP-based Security Evaluation Algorithm against Differential-Linear Cryptanalysis Using A Divide-and-Conquer Approach
mimikatz
A little tool to play with Windows security
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
snarkjs
zkSNARK implementation in JavaScript & WASM
speed-hpc
Speed: Gina Cody School HPC Facility: Scripts, Tools, and Refs
Tools-for-Cryptanalysis
A repository that aims to provide tools for cryptography and cryptanalysis