hadipourh

Hosein Hadipour's starred repositories

web-check

🕵️‍♂️ All-in-one OSINT tool for analysing any website

Language:TypeScriptMIT21028 125 96

alphageometry

Language:PythonApache-2.03844 50 110

ChatReviewer

ChatReviewer: 使用ChatGPT分析论文优缺点，提出改进建议

Language:PythonNOASSERTION1247 3 27

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Language:SMTNOASSERTION983 35 2552

crypto-attacks

Python implementations of cryptographic attacks and utilities.

Language:PythonMIT839 17 16

wireguard-go

Warp+Psiphon, an anti censorship utility for iran

Language:GoMIT704 110

kissat

Language:CMIT419 23 43

vampire

The Vampire Theorem Prover

Language:C++NOASSERTION275 22 144

ascon-c

Ascon - Lightweight Authenticated Encryption & Hashing

Language:CCC0-1.0178 14 14

Practical-Programming-Practices

A collection of programming exercises to help you practice your new language

Language:C++MIT158 8 2

eprover

Language:CNOASSERTION127 100

SCALib

Side-Channel Analysis Library

Language:C++AGPL-3.069 6 51

AES-VHDL

VHDL Implementation of AES Algorithm

Language:VHDLGPL-3.067 6 5

every-programmer-should-know

A collection of (mostly) technical things every software developer should know

CC-BY-4.050 20

claasp

A Cryptographic Library for the Automated Analysis of Symmetric Primitives

Language:PythonGPL-3.043 50

Leo-III

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

Language:ScalaBSD-3-Clause41 18 49

espresso

Language:C34 16 8

iacrtrans

LaTeX class for the IACR Transactions on Symmetric Cryptology

Language:PostScriptCC0-1.027 6 19

MathematicsOfIBC

Lecture notes on the Foundations of Isogeny-based Cryptography

Language:TeXNOASSERTION25 6 3

sboxanalyzer

An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes

Language:CMIT20 4 2

bloc

Source code developed in the BLOC project

Language:CLGPL-2.119 60

AES-Cryptoanalysis

Language:PythonGPL-3.012 10

GurobiOnCryptanalysis

Language:Python10 10

zero

An Automatic Tool to Search for Full Impossible-Differential, Zero-Correlation and Integral Attacks

Language:PythonMIT8 1 6

key-mitm

Finding MITM attacks using MILP

Language:Python6 10

talks

LaTeX sources for talks I've given.

Language:TeX4 30

cxxsat

Enhanced C++ Interface for Sat Solvers

Language:C++MIT3 10

HotCRP_MILP

Simple scripts to do paper assignment for HotCRP using a MILP solver

Language:PythonCC0-1.02 20

TS-Hash-Cryptanalysis

Cryptanalysis of the TS-Hash lightweight LFSR-based hash function

Language:Jupyter NotebookMIT1 20

Geometric-approach

Finding rank-one trails using Riemannian optimization.

Language:Sage1 10