reksio's repositories
annotated_latex_equations
Examples of how to create colorful, annotated equations in Latex using Tikz.
ArxPy
Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.
bitarray
efficient arrays of booleans for Python
blst
Multilingual BLS12-381 signature library
book
Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices
bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
cryptocoding
Guidelines for low-level cryptography software
CryptoHDL
A list of VHDL codes implementing cryptographic algorithms
CryptoMobile
Cryptography for mobile network - C implementation and Python bindings
CUDA-CubeAttack
CubeAttack framework implemented in CUDA (TRIVIUM & MICKEY as example targets)
Deadpool
Repository of various public white-box cryptographic implementations and their practical attacks.
excalidraw
Virtual whiteboard for sketching hand-drawn like diagrams
how-to-secure-anything
How to systematically secure anything: a repository about security engineering
JeanGrey
Tools to perform differential fault analysis attacks (DFA).
Monocypher
An easy to use, easy to deploy crypto library
mtheme
A modern LaTeX Beamer theme
Practical-Cryptography-for-Developers-Book
Practical Cryptography for Developers: Hashes, MAC, Key Derivation, DHKE, Symmetric and Asymmetric Ciphers, Public Key Cryptosystems, RSA, Elliptic Curves, ECC, secp256k1, ECDH, ECIES, Digital Signatures, ECDSA, EdDSA
python-bloomfilter
Scalable Bloom Filter implemented in Python
sboxgates
Program for finding low gate count implementations of S-boxes.
SecAESSTM32
Bibliothèque C et assembleur permettant le chiffrement/déchiffrement AES-128 de messages pour des composants grand public (famille STM32F3/STM32F4)
stark-anatomy
Tutorial for STARKs with supporting code in python