Python Elliptic Curve Side-Channel Analysis toolkit.

TR-100 Machine Report

Project Wycheproof tests crypto libraries against known attacks.

Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange

Fast lattice reduction

A language server (based on LSP) for Jasmin.

Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems. There is very little activity because the project is finished and does not require furt…

Indoor Cycling App for Structured Training

Official git repo for iodine dns tunnel

Assembly super-optimization via constraint solving

🚴 Call stack profiler for Python. Shows you why your code is slow!

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

Platform for Architecture-Neutral Dynamic Analysis

Python bindings for Flint and Arb

Make your first side-channel attack on public datasets with eShard. This is a mirror of scared Gitlab repository. All contributions and merge request must be done through Gitlab project.

Deadline countdowns for academic conferences in Security and Privacy

Practical Implementation of the Maurer Reduction

Python implementations of cryptographic attacks and utilities.

javacard framework in python

A CAP file parser, and executer. CAP file are Javacard bytecode. The format is specified by Oracle (ex-Sun).

OpenCL code generator for finite-field arithmetic over arbitrary prime fields

Generate x86 Assembly with Go

Project Repository. Replication code.

A wrapper of MQ solver implementations, allowing a unified interface and performance comparison.

A Common Criteria (CC) and FIDO certified FIDO U2F javacard applet.

A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH

A pure python implementation of ML-KEM (FIPS 203) and CRYSTALS-Kyber

Got accidentally fixated on copying the typesetting of a ~100 year old maths paper