Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).

SCAAML: Side Channel Attacks Assisted with Machine Learning

HACL*, a formally verified cryptographic library written in F*

SLotH -- An SLH-DSA/SPHINCS+ Hash-Based Signature Accelerator

Minimal effort CLIs derived from type hints and parse from command line, config files and environment variables

eXtended Keccak Code Package

High-performance QEMU memory and instruction tracing

GitHub Actions configs: composite actions and shared workflow configuration

Saber and NTRU on M4 and AVX2

🚀 Automatic crate publishing done right

Pure Rust implementation of the Leighton Micali Signature scheme.

“Zero setup” cross compilation and “cross testing” of Rust crates

Second level bootloader for Microchip SoC (aka AT91)

A Coordination repo for all things Rust Cryptography oriented

Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will …

RISC-V Opcodes

Automation/Testing tool for Embedded Linux Development

TomsFastMath is a fast public domain, open source, large integer arithmetic library written in portable ISO C.

LibTomMath is a free open source portable number theoretic multiple-precision integer library written entirely in C.

LibTomCrypt is a fairly comprehensive, modular and portable cryptographic toolkit that provides developers with a vast array of well known published block ciphers, one-way hash functions, chaining …

The rt-stepper software is used to drive the dongle over the USB bus. This software is open source similar to the EMC2 open source project at www.linuxcnc.org. Both projects are separate PC applica…

Brute-forcing CRC parameters

This is the fast avr programmer for AVR MCUs based on cheap stm32f103c8t6 board with usb-to-serial support.

Python library to control a Saleae Logic Analyzer

Embedded Rust device crates for STM32 microcontrollers