Starred repositories
Greek letters for enumerates in LaTeX (depends on the enumitem package)
simavr is a lean, mean and hackable AVR simulator for linux & OSX
Learning the Enigma with Recurrent Neural Networks
C AES Implementation with mask countermeasure against power analysis attacks.
An inner-product-masking based countermeasure for encrytion algorithms whose sboxes using GF multiplication (i.e. AES/SM4).
MIPS64 assembly implementation of the New Hope KEM
Cryptography for FPGAs course (Radboud Universiteit Nijmegen - 2014/2016)
ARM optimized bitsliced 2nd order masked implemenation of PRESENT block cipher
This script generates and analyzes prefix tree adders.
Cryptanalysis of Physically Unclonable Functions
A Python API for the MiniSat and MiniCard constraint solvers.
A pure-python PDF library capable of splitting, merging, cropping, and transforming the pages of PDF files
Utility to generate PGF vector files from Python's Matplotlib plots to use in LaTeX documents.
Brute-force search algorithm for Bitslice DES S-box functions with Nvidia Maxwell LOP3.LUT instructions written in C#
Bitslice DES S-boxes with LOP3.LUT instructions for NVIDIA Maxwell architecture
Performs key-recovery attacks on the SoDark family of algorithms.
An open-source library supporting simulation and cryptanalysis of stream ciphers based on linear feedback shift registers (LFSRs).
Program for finding low gate count implementations of S-boxes.
Library consisting of explanation and implementation of all the existing attacks on various Encryption Systems, Digital Signatures, Key Exchange, Authentication methods along with example challenge…
acad2 / cryptosmt
Forked from kste/cryptosmtAn easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.