mhgharieb Goto Github PK

721r_trivium_test

aes-cryptoanalysis

analysis_craft

analyze721trivium

Practical Anlysis to the attacks on 721-round Trivium given by Fu et al. at Crypto'18

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

belt

C implementation of the Belorussian standard STB 34.101.31-2011 (Bel-T) block cipher

circom_tester

Provides tools for testing circom circuits.

clusterfk

GUI tool for exploring semi-truncated differential characteristics of tweakable block ciphers.

coding-interview-university

A complete computer science study plan to become a software engineer.

craftanalysis

Comprehensive Security Analysis of CRAFT

cryptosmt

An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.

cubeattack_dp

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

extenddivprop

gimlianalysis

grain128dynamiccubeattack

The supportive material for the ToSC paper

gurobioncryptanalysis

impossible-differentials-and-impossible-polytopic-transitions

integral-attack-t-twine

integral-bel-t-256

kuznechik

Implementation of the proposed Russian block cipher standard, Kuznechik ("Grasshopper"). 128-bit block size, 256-bit key.

lelantos-smart-contract

A Blockchain-based Anonymous Physical Delivery System

lowerboundsalgdegree

manticore

Symbolic execution tool

milp-aided-cube-attack-like-cryptanalysis

milp-three-subset-wo-unknown