Cryptography Research Centre - Technology Innovation Institute

claasp

A Cryptographic Library for the Automated Analysis of Symmetric Primitives

CryptographicEstimators

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

syndrome_decoding_estimator

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

TLS1.3

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

fhegen

MILP_MIQCP-differential-linear_key-recovery_speck32

multivariate_quadratic_estimator

nnbits

roulette

A solver used for roulette fault attacks on Kyber.

Boosting_differential-linear_cryptanalysis_of_ChaCha7_with_MILP

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

mpc_graph_theory_lib

SCALE-MAMBA implementation of basic graph theory functionality

AutoND

beyond_rabbit

Rabbit through the mirror Protocol Implementations. This includes basic random sampling using dabits in Mamba. This is to the best of our knowledge the first implementation of its kind

mat3

Matrix Triple Generation

mirith_nist_submission

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

ascon_hybrid_milp_smt

GPU4SNN

helm-charts

Jenkins community Helm charts

boost_1_71_0

constrain-solvers-comparison_of_bit-oriented_primitives

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".

fhelib

C library for the leveled BGV scheme.

FV_error_computation

FV error calculation, efficient and fast

jfrog-charts

JFrog official Helm Charts

jupyterhub_server

munit

µnit is a small testing framework for C

pqdss-ct-toolchain

sonar-charts

Helm chart repository

stlink

Open source STM32 MCU programming toolset

test-code-image

wazuh-kubernetes

Wazuh - Wazuh Kubernetes