dojimanetwork / tendermint

Related projects ⓘ

Alternatives and complementary repositories for tendermint

• pq-crystals / security-estimates
  Security Estimation Scripts for Kyber and Dilithium
  ☆24Updated 3 years ago
• kste / solvatore
  An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.
  ☆22Updated 5 years ago
• KULeuven-COSIC / PQCRYPTO-decryption-failures
  Scripts relating to decryption failures in PQCRYPTO schemes
  ☆8Updated 3 years ago
• yuchen1024 / Kunlun
  A C++ library containing both easy-to-use lower level bigint/ecgroup interfaces and high-level cryptographical schemes/protocols.
  ☆75Updated 3 months ago
• agohr / deep_speck
  Supplementary code and data to "Improving Attacks on Round-Reduced Speck32/64 Using Deep Learning"
  ☆64Updated 5 years ago
• Tzumpi1 / BKZ_2
  Lattice reduction technique
  ☆10Updated 10 years ago
• lducas / leaky-LWE-Estimator
  A sage Toolkit for mounting/estimating attacks on LWE with Side Information
  ☆37Updated last year
• CMMayer / Toolkit-for-Ring-LWE-v1.0
  Implementation of a toolkit for ring-LWE based cryptography in arbitrary cyclotomic number fields.
  ☆35Updated 8 years ago
• lpp-crypto / sboxU
  Tools for studying S-boxes
  ☆33Updated 2 weeks ago
• ruandc / Ring-LWE-Encryption
  ☆48Updated 7 years ago
• biwenquan / MILP-aided-Cube-attack-like-cryptanalysis
  ☆17Updated 6 years ago
• armfazh / fld-ecc-vec
  SIMD Vectorized implementation of X25519, Ed25519, X448 and Ed448
  ☆27Updated 3 months ago
• FreeDisciplina / BlockCiphersOnAVR
  Bitsliced Implementations of Block Ciphers on AVR 8-bit Microcontrollers
  ☆14Updated 7 years ago
• tprest / Lattice-IBE
  Proof-of-concept implementation of an identity-based encryption scheme over NTRU lattices
  ☆43Updated 8 years ago
• thyuen / dualring
  ☆8Updated 2 years ago
• juliannowakowski / lwe_with_hints
  ☆24Updated last year
• ranea / CASCADA
  A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
  ☆28Updated 4 months ago
• malb / bdd-predicate
  Solving BDD and uSVP with predicate
  ☆43Updated 3 months ago
• kste / cryptosmt
  An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
  ☆88Updated last year
• Chunning-Zhou / MILPBasedSearchAlgorithmDiff
  Code for FSE 2020 - Improving the MILP-based Security Evaluation Algorithm against Differential-Linear Cryptanalysis Using A Divide-and-C…
  ☆15Updated 4 years ago
• haochenuw / algorithms-in-SEAL
  Some algorithms for computation on encrypted data based on Microsoft SEAL
  ☆27Updated 4 years ago
• KULeuven-COSIC / SABER
  SABER is a Module-LWR based KEM submitted to NIST
  ☆49Updated 2 years ago
• SunLing134340 / Accelerating_Automatic_Search
  ☆10Updated 3 years ago
• hukaisdu / MonomialPrediction
  Source codes for paper "An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independe…
  ☆14Updated 4 years ago
• ysktodo / milp-three-subset-wo-unknown
  ☆10Updated 4 years ago
• zhuby12 / MILP-basedModel
  MILP-based Differential Attack on Round-Reduced GIFT
  ☆19Updated 5 years ago
• zhangzhongjun / VFSSSE
  Verifiable Forward Secure SSE scheme
  ☆11Updated 4 years ago
• cpeikert / LatticesInCryptography
  Lattices in Cryptography (University of Michigan)
  ☆65Updated last month
• lucasprabel / module_gaussian_lattice
  ☆7Updated 2 years ago
• estimate-all-the-lwe-ntru-schemes / estimate-all-the-lwe-ntru-schemes.github.io
  Repository and website for the Estimate all the {LWE, NTRU} schemes! code and paper.
  ☆23Updated 6 years ago