Pinned Repositories
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.
deti
FANNG-MPC
Your GoTo Library for NN's over MPC
fhegen
MILP_MIQCP-differential-linear_key-recovery_speck32
multivariate_quadratic_estimator
nnbits
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
Cryptography Research Centre - Technology Innovation Institute's Repositories
Crypto-TII/claasp
A Cryptographic Library for the Automated Analysis of Symmetric Primitives
Crypto-TII/CryptographicEstimators
This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cryptography.
Crypto-TII/syndrome_decoding_estimator
A tool to estimate the difficulty of solving the syndrome decoding problem.
Crypto-TII/TLS1.3
Bilingual Implementation of TLS1.3 in C++ and Rust
Crypto-TII/fhegen
Crypto-TII/deti
Crypto-TII/multivariate_quadratic_estimator
Crypto-TII/FANNG-MPC
Your GoTo Library for NN's over MPC
Crypto-TII/nnbits
Crypto-TII/AutoND
Crypto-TII/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"
Crypto-TII/mpc_graph_theory_lib
SCALE-MAMBA implementation of basic graph theory functionality
Crypto-TII/fhelib
C library for the leveled BGV scheme.
Crypto-TII/mat3
Matrix Triple Generation
Crypto-TII/mirith_nist_submission
To contain the submissions code of the MiRitH Digital Signature Scheme for the NIST Post-Quantum Digital Signature standardization process.
Crypto-TII/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".
Crypto-TII/FANNG-MPC-Converter
The Share Converter for all your FANNG needs. Learn more at https://github.com/Crypto-TII/FANNG-MPC
Crypto-TII/helm-charts
Jenkins community Helm charts
Crypto-TII/aradi_structural_algebraic_distinguisher
Source code used for the research article titled "Mind the Composition of Toffoli Gates: Structural Algebraic Distinguishers of ARADI"
Crypto-TII/boost_1_71_0
Crypto-TII/claasping_aradi
Collection of scripts used for the research article "CLAASPing ARADI: Automated Analysis of the ARADI Block Cipher", published at INDOCRYPT 2024
Crypto-TII/easy-novnc
Single-binary noVNC instance, web UI, and multi-host proxy.
Crypto-TII/FV_error_computation
FV error calculation, efficient and fast
Crypto-TII/jfrog-charts
JFrog official Helm Charts
Crypto-TII/perk-on-resource-constrained-devices
Crypto-TII/pqdss-ct-toolchain
Crypto-TII/stlink
Open source STM32 MCU programming toolset
Crypto-TII/test-code-image
Crypto-TII/the-sqisign-1d-mupq
Crypto-TII/the-sqisign-1d-pqm4