Repositories list

• claasp

  Public
  A Cryptographic Library for the Automated Analysis of Symmetric Primitives

  Python

  •

  GNU General Public License v3.0

  •10•48•0•3•Updated Nov 10, 2024Nov 10, 2024

• CryptographicEstimators

  Public
  This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cryptography.

  Python

  •

  GNU General Public License v3.0

  •5•34•5•1•Updated Nov 9, 2024Nov 9, 2024

• TLS1.3

  Public
  Bilingual Implementation of TLS1.3 in C++ and Rust

  Rust

  •

  Apache License 2.0

  •1•11•0•0•Updated Nov 6, 2024Nov 6, 2024

• pqdss-ct-toolchain

  Public
  C

  •0•0•0•0•Updated Oct 30, 2024Oct 30, 2024

• claasping_aradi

  Public
  Collection of scripts used for the research article "CLAASPing ARADI: Automated Analysis of the ARADI Block Cipher", published at INDOCRYPT 2024

  Python

  •0•0•0•0•Updated Oct 24, 2024Oct 24, 2024

• the-sqisign-1d-mupq

  Public
  C

  •0•0•0•0•Updated Oct 7, 2024Oct 7, 2024

• aradi_structural_algebraic_distinguisher

  Public
  Source code used for the research article titled "Mind the Composition of Toffoli Gates: Structural Algebraic Distinguishers of ARADI"

  C++

  •0•0•0•0•Updated Oct 4, 2024Oct 4, 2024

• the-sqisign-1d-pqm4

  Public
  0•0•0•0•Updated Oct 4, 2024Oct 4, 2024

• AutoND

  Public
  Python

  •3•2•0•0•Updated Jul 24, 2024Jul 24, 2024

• perk-on-resource-constrained-devices

  Public
  C

  •0•0•0•0•Updated Jul 4, 2024Jul 4, 2024

• deti

  Public
  Python

  •

  MIT License

  •2•4•0•0•Updated Jun 11, 2024Jun 11, 2024

• FANNG-MPC

  Public
  Your GoTo Library for NN's over MPC

  machine-learningcryptographyapplied-cryptography+ 6privacy-enhancing-technologiesmultiparty-computationprivacy-preserving-machine-learningsecure-multi-party-computationsecure-multiparty-computationprivacy-preserving-computing

  Verilog

  •

  Other

  •0•3•0•0•Updated Jun 4, 2024Jun 4, 2024

• FANNG-MPC-Converter

  Public
  The Share Converter for all your FANNG needs. Learn more at https://github.com/Crypto-TII/FANNG-MPC

  C++

  •

  Other

  •0•0•0•0•Updated Jun 3, 2024Jun 3, 2024

• fhegen

  Public
  Python

  •

  MIT License

  •4•11•0•0•Updated May 19, 2024May 19, 2024

• stlink

  Public
  Open source STM32 MCU programming toolset

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •1.2k•0•0•0•Updated Mar 4, 2024Mar 4, 2024

• fhelib

  Public
  C library for the leveled BGV scheme.

  cryptographybgvfhe

  C

  •0•1•0•0•Updated Feb 12, 2024Feb 12, 2024

• helm-charts

  Public
  Jenkins community Helm charts

  Mustache

  •

  Apache License 2.0

  •892•0•0•0•Updated Feb 9, 2024Feb 9, 2024

• boost_1_71_0

  Public
  0•0•0•0•Updated Jan 29, 2024Jan 29, 2024

• mirith_nist_submission

  Public
  To contain the submissions code of the MiRitH Digital Signature Scheme for the NIST Post-Quantum Digital Signature standardization process.

  C

  •

  Apache License 2.0

  •0•1•0•0•Updated Jan 11, 2024Jan 11, 2024

• test-code-image

  Public
  Shell

  •0•0•0•0•Updated Jan 4, 2024Jan 4, 2024

• multivariate_quadratic_estimator

  Public
  Python

  •

  GNU General Public License v3.0

  •0•5•1•0•Updated Dec 8, 2023Dec 8, 2023

• mpc_graph_theory_lib

  Public
  SCALE-MAMBA implementation of basic graph theory functionality

  Python

  •

  MIT License

  •1•2•1•0•Updated Oct 18, 2023Oct 18, 2023

• jfrog-charts

  Public
  JFrog official Helm Charts

  Shell

  •

  Apache License 2.0

  •447•0•0•0•Updated Aug 28, 2023Aug 28, 2023

• constrain-solvers-comparison_of_bit-oriented_primitives

  Public
  A repository with the scripts to reproduce the results of the paper "Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives".

  Sage

  •0•0•0•1•Updated Jun 12, 2023Jun 12, 2023

• mat3

  Public
  Matrix Triple Generation

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •0•1•1•0•Updated Jun 9, 2023Jun 9, 2023

• nnbits

  Public
  Python

  •

  Apache License 2.0

  •1•3•0•0•Updated Jun 9, 2023Jun 9, 2023

• syndrome_decoding_estimator

  Public
  A tool to estimate the difficulty of solving the syndrome decoding problem.

  Python

  •

  Apache License 2.0

  •4•11•1•0•Updated May 29, 2023May 29, 2023

• Boosting_differential-linear_cryptanalysis_of_ChaCha7_with_MILP

  Public
  Repository to host the code of the manuscript titled "Boosting differential-linear cryptanalysis of ChaCha7 with MILP"

  Cuda

  •0•2•0•0•Updated May 26, 2023May 26, 2023

• FV_error_computation

  Public
  FV error calculation, efficient and fast

  cryptographymagmafv

  M

  •

  Other

  •0•0•0•0•Updated Apr 26, 2023Apr 26, 2023

• MILP_MIQCP-differential-linear_key-recovery_speck32

  Public
  Python

  •0•8•0•0•Updated Feb 6, 2023Feb 6, 2023