Alternatives and similar repositories for usuba:

Users that are interested in usuba are comparing it to the libraries listed below

• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• formosa-crypto / libjade
  Crypto library
  ☆56Updated 2 weeks ago
• fmlab-iis / cryptoline
  ☆46Updated last week
• CryptoExperts / Tornado
  Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model
  ☆18Updated 4 years ago
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated 2 years ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆60Updated 8 months ago
• claucece / formal-tutorials
  ☆28Updated 3 years ago
• aadomn / aes
  Fast constant-time AES implementations on 32-bit architectures
  ☆64Updated 5 months ago
• conorpp / bitsliced-aes
  A bitsliced implementation of ECB and CTR AES
  ☆49Updated 7 months ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 8 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• veorq / spc
  A tweakable block cipher
  ☆31Updated 10 months ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• Ko- / riscvcrypto
  Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture
  ☆31Updated 4 years ago
• bitwiseshiftleft / ladder_formulas
  Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves
  ☆20Updated 4 years ago
• lducas / BDD-note
  ☆13Updated 3 years ago
• PQCMayo / MAYO-C
  MAYO C implementation
  ☆15Updated 2 weeks ago
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆18Updated last month
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• pietroborrello / constantine
  Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels
  ☆72Updated 2 years ago
• tfaoliveira / libjc
  ☆19Updated 2 years ago
• armfazh / flo-shani-aesni
  Performance Evaluation of SHA-256 using SHA New Instructions.
  ☆43Updated 3 years ago
• pornin / bingcd
  Optimized Binary GCD for Modular Inversion
  ☆43Updated 4 years ago
• Phantom1003 / QARMA64
  QARMA block cipher in C
  ☆27Updated 2 years ago
• rems-project / sail-arm
  Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
  ☆77Updated last month
• slothy-optimizer / slothy
  Assembly super-optimization via constraint solving
  ☆182Updated last week
• romulusae / romulus
  The Romulus family of lightweight cryptographic algorithms (authenticated encryption and hashing).
  ☆9Updated 2 years ago
• dkales / banquet
  Banquet implementation
  ☆13Updated 2 years ago
• UTSASRG / FreeGuard
  ☆35Updated 7 years ago