pornin / arm-asm-notes
☆22Updated last month
Alternatives and similar repositories for arm-asm-notes:
Users that are interested in arm-asm-notes are comparing it to the libraries listed below
- Lean cryptographic library usable for bare-metal environments☆42Updated 2 weeks ago
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆57Updated this week
- Crypto library☆58Updated 2 weeks ago
- Assembly super-optimization via constraint solving☆188Updated last week
- ☆156Updated this week
- Community Cryptography Test Vectors☆76Updated 3 months ago
- The formally verified crypto library for Rust☆118Updated this week
- Fast constant-time AES implementations on 32-bit architectures☆64Updated 6 months ago
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆39Updated this week
- dude, is my code constant time?☆178Updated last year
- A repository of tools for verifying constant-timeness☆18Updated 2 months ago
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆44Updated 2 months ago
- MLKEM implementation optimized for embedded microcontrollers☆20Updated 8 months ago
- Language for high-assurance and high-speed cryptography☆290Updated this week
- Checking that functions are constant time with Valgrind☆180Updated 8 years ago
- A bitsliced implementation of ECB and CTR AES☆50Updated 8 months ago
- Script generated finite field arithmetic for elliptic curve cryptography☆18Updated 2 weeks ago
- Microkit - A simple operating system framework for the seL4 microkernel☆115Updated 2 weeks ago
- Formal Analysis of the PQXDH Protocol☆25Updated 10 months ago
- ☆13Updated last week
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆81Updated 3 years ago
- ☆14Updated 3 weeks ago
- A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.☆73Updated this week
- Please see https://github.com/hacspec/hax☆243Updated last year
- Experimental implementation of KEMTLS in Rustls☆30Updated last year
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆60Updated 10 months ago
- Rust native library for TPM 2.0 operations. Heavily work in progress.☆13Updated 2 years ago
- Raccoon Signature Scheme -- Reference Code☆10Updated last year