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 7 years ago
• CryptoExperts / Tornado
  Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model
  ☆18Updated 3 years ago
• fmlab-iis / cryptoline
  ☆44Updated last month
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 7 years ago
• claucece / formal-tutorials
  ☆29Updated 3 years ago
• veorq / spc
  A tweakable block cipher
  ☆31Updated 9 months ago
• aadomn / aes
  Fast constant-time AES implementations on 32-bit architectures
  ☆64Updated 4 months ago
• formosa-crypto / libjade
  Crypto library
  ☆55Updated 2 weeks ago
• pornin / bingcd
  Optimized Binary GCD for Modular Inversion
  ☆41Updated 4 years ago
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆14Updated last week
• armfazh / flo-shani-aesni
  Performance Evaluation of SHA-256 using SHA New Instructions.
  ☆43Updated 3 years ago
• jedisct1 / supercop
  Always up-to-date mirror of the SUPERCOP cryptographic benchmark.
  ☆27Updated 3 months ago
• rweather / lightweight-crypto
  NIST Lightweight Cryptography Primitives
  ☆55Updated 2 years ago
• Ko- / riscvcrypto
  Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture
  ☆31Updated 4 years ago
• lducas / CodeRed
  Basis Reduction Algorithms for Codes (LLL and more)
  ☆26Updated 11 months ago
• lducas / BDD-note
  ☆13Updated 3 years ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆59Updated 7 months ago
• bitwiseshiftleft / ladder_formulas
  Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves
  ☆19Updated 4 years ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• conorpp / bitsliced-aes
  A bitsliced implementation of ECB and CTR AES
  ☆47Updated 6 months ago
• PQCMayo / MAYO-C
  MAYO C implementation
  ☆14Updated 2 weeks ago
• kriskwiatkowski / pqc
  Reference implementations of post-quantum cryptographic primitives
  ☆29Updated last year
• rweather / lwc-finalists
  Finalists to the NIST lightweight cryptography competition
  ☆38Updated 2 years ago
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆38Updated 2 months ago
• Phantom1003 / QARMA64
  QARMA block cipher in C
  ☆26Updated 2 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆55Updated 7 years ago
• KeccakTeam / Xoodoo
  ☆32Updated 3 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• cryptolu / sparkle
  Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things
  ☆34Updated last year
• dkales / banquet
  Banquet implementation
  ☆13Updated 2 years ago