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
• CryptoExperts / Tornado
  Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model
  ☆18Updated 4 years ago
• aadomn / aes
  Fast constant-time AES implementations on 32-bit architectures
  ☆64Updated 8 months ago
• conorpp / bitsliced-aes
  A bitsliced implementation of ECB and CTR AES
  ☆52Updated 10 months ago
• formosa-crypto / libjade
  Crypto library
  ☆60Updated 3 weeks ago
• claucece / formal-tutorials
  ☆28Updated 3 years ago
• fmlab-iis / cryptoline
  ☆49Updated this week
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆40Updated 8 years ago
• cryptolu / sparkle
  Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things
  ☆36Updated 2 years ago
• tfaoliveira / libjc
  ☆19Updated 2 years ago
• Ko- / riscvcrypto
  Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture
  ☆31Updated 4 years ago
• romulusae / romulus
  The Romulus family of lightweight cryptographic algorithms (authenticated encryption and hashing).
  ☆9Updated 2 years ago
• veorq / spc
  A tweakable block cipher
  ☆31Updated last year
• kste / skinny_avx
  AVX implementation of the Skinny block cipher
  ☆11Updated 3 years ago
• armfazh / flo-shani-aesni
  Performance Evaluation of SHA-256 using SHA New Instructions.
  ☆43Updated 3 weeks ago
• dkales / banquet
  Banquet implementation
  ☆13Updated 3 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆57Updated 7 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆18Updated 4 months ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• coron / htable
  High-order countermeasures for AES and DES
  ☆25Updated 10 months ago
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆47Updated last week
• pornin / BAT
  BAT KEM/Signature Reference Implementation
  ☆22Updated 3 years ago
• pornin / bingcd
  Optimized Binary GCD for Modular Inversion
  ☆44Updated 4 years ago
• lducas / BDD-note
  ☆12Updated 3 years ago
• bitwiseshiftleft / ladder_formulas
  Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves
  ☆20Updated 4 years ago
• rweather / lwc-finalists
  Finalists to the NIST lightweight cryptography competition
  ☆38Updated 2 years ago
• lducas / CodeRed
  Basis Reduction Algorithms for Codes (LLL and more)
  ☆27Updated last year
• rweather / lightweight-crypto
  NIST Lightweight Cryptography Primitives
  ☆55Updated 3 years ago
• mcarrickscott / modarith
  Script generated finite field arithmetic for elliptic curve cryptography
  ☆20Updated this week