minionsjay Goto Github PK

matsui

Implementation of Matsui's algorithm for finding the minimum number of active S-boxes.

milp-three-subset-wo-unknown

minions

minions1

minionsjay

Config files for my GitHub profile.

minionsjay.github.io

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

my_beamer

myrustcode

daily rust code practice

network-security-mind-map

☯️ 网络安全基础知识思维导图、大学笔记（Network security Mind Map）

nfllib

NTT-based Fast Lattice library

peigen

An open source project for study S-boxes

pentest_study

从零开始内网渗透学习

picture_drawio

pqm4

Post-quantum crypto library for the ARM Cortex-M4

preprocess_then_ntt

pysat

A toolkit for SAT-based prototyping in Python

pysmt

pySMT: A library for SMT formulae manipulation and solving

sboxanalyzer

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

sca_protected_kyber

This is a Side-Channel Attack protected Implementation of Kyber, a Lattice-based KEM scheme which is part of the NIST standardization process for post-quantum cryptography. Please note that the SCA countermeasures are only ported to the NIST's first round implementation of the Kyber KEM scheme.

security-estimates

Security Estimation Scripts for Kyber and Dilithium

stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

tools-for-cryptanalysis

A repository that aims to provide tools for cryptography and cryptanalysis

txcode