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
  ☆37Updated 8 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• aadomn / aes
  Fast constant-time AES implementations on 32-bit architectures
  ☆66Updated 10 months ago
• formosa-crypto / libjade
  Crypto library
  ☆65Updated last week
• CryptoExperts / Tornado
  Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model
  ☆18Updated 4 years ago
• claucece / formal-tutorials
  ☆28Updated 3 years ago
• rweather / lightweight-crypto
  NIST Lightweight Cryptography Primitives
  ☆54Updated 3 years ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆62Updated last year
• mcarrickscott / modarith
  Script generated finite field arithmetic for elliptic curve cryptography
  ☆22Updated 2 weeks ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆57Updated 7 years ago
• oreparaz / dudect
  dude, is my code constant time?
  ☆188Updated last year
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆18Updated 7 months ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• cryptolu / sparkle
  Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things
  ☆36Updated 2 years ago
• bitwiseshiftleft / ladder_formulas
  Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves
  ☆20Updated 5 years ago
• kste / skinny_avx
  AVX implementation of the Skinny block cipher
  ☆11Updated 3 years ago
• Ko- / riscvcrypto
  Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture
  ☆31Updated 4 years ago
• veorq / spc
  A tweakable block cipher
  ☆31Updated last year
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆305Updated this week
• fmlab-iis / cryptoline
  ☆51Updated this week
• armfazh / rfc7748_precomputed
  Updated! (Dec2-2019) This is a C-language software library that provides optimized implementations of the Diffie-Hellman functions known …
  ☆44Updated last year
• Phantom1003 / QARMA64
  QARMA block cipher in C
  ☆30Updated 3 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆189Updated 8 years ago
• bbuhrow / avx512_modexp
  A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic
  ☆12Updated last year
• PQCMayo / MAYO-C
  MAYO C implementation
  ☆17Updated 5 months ago
• lamps-wg / dilithium-certificates
  I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure
  ☆13Updated this week
• slothy-optimizer / slothy
  Assembly super-optimization via constraint solving
  ☆216Updated this week
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 6 years ago
• aseemr / Indocrypt-VerifiedCrypto-Tutorials
  ☆13Updated 4 years ago
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆57Updated last month