usubalang / usuba
A programming language to write bitsliced ciphers
☆56Updated 4 months ago
Alternatives and similar repositories for usuba:
Users that are interested in usuba are comparing it to the libraries listed below
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Updated 3 years ago
- A bitsliced implementation of ECB and CTR AES☆47Updated 5 months ago
- Crypto library☆55Updated 3 months ago
- ☆43Updated this week
- ☆29Updated 3 years ago
- MAYO C implementation☆13Updated last week
- ☆35Updated 7 years ago
- Fast constant-time AES implementations on 32-bit architectures☆62Updated 3 months ago
- Optimized Binary GCD for Modular Inversion☆41Updated 4 years ago
- Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves☆19Updated 4 years ago
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆37Updated 3 weeks ago
- A tweakable block cipher☆30Updated 8 months ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- A minimalistic and high-performance SAT solver☆26Updated last year
- XML representation of the x86 instruction set☆28Updated 2 years ago
- Artifacts for our ShowTime paper (AsiaCCS '23), including distinguishing cache hits and misses with the human eye.☆11Updated last year
- Performance Evaluation of SHA-256 using SHA New Instructions.☆41Updated 3 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆26Updated last month
- ☆19Updated 2 years ago
- High-order countermeasures for AES and DES☆25Updated 5 months ago
- ☆13Updated 3 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆34Updated last year
- Tool to Analyze Speculative Execution Attacks and Mitigations☆54Updated 3 years ago
- Circuits for functions of interest to cryptography☆27Updated 11 months ago
- Basis Reduction Algorithms for Codes (LLL and more)☆26Updated 10 months ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Updated last year
- Automatic Binary Parallelisation☆38Updated last year