CRoCS

meesign-client

meesign-server

sec-certs

Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).

ECTester

Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected software libraries.

SED-Storage-Visualiser

coinjoin-simulator

usable-cert-validation

Research initiative to make TLS certificate validation usable.

meesign-crypto

booltest

ct-tools

A repository of tools for verifying constant-timeness

ts-spect-compiler

SPECT Compiler

ts-spect-fw

SPECT Production FW

opal-toolset

A set of tools for managing and analysing Opal devices.

javacard-curated-list

Curated list of open-source Java Card applets and related applications for cryptographic smartcards

DiSSECT

Distinguisher of Standard & Simulated Elliptic Curves via Traits.

rtt-statistical-batteries

Set of statistical batteries used by randomness-testing-toolkit.

xroad-threshold-signatures

This repository explains how to deploy threshold signatures through the PKCS#11 interface to the data exchange system X-Road.

tpmscan-artifact

javacard-gradle-template-edu

JavaCard project template for building CAP and running JCardSim with gradle + coverage

RTT-configuration-calculator

RTT Configuration Calculator

tpm2-algtest

A tool for testing and measuring TPM 2.0 crypto functionality.

randomness-testing-toolkit

Randomness testing toolkit automates running and evaluating statistical testing batteries

tpmscan-dataset

algtest-pyprocess

javus

JavaCard Vulnerability Scanner is a framework for testing the security of JavaCards. It does so by executing several POC attacks directly on the JavaCard. The potential for locking/bricking the JavaCard during the process is high, therefore it should be ran on spare JavaCards dedicated for testing and research.

pretzel

Threshold RSA signatures as published in the Practical Threshold Signatures publication by Victor Shoup https://link.springer.com/chapter/10.1007/3-540-45539-6_15

biometrics-utils

Utilities for assignments on biometric authentication

JCAlgTest

Automated testing tool for algorithms from JavaCard API supported by particular smart card. Performance testing of almost all available methods. The results for more than 100+ cards.

dcp-glv

Decompose and conquer: ZVP attacks on GLV curves

RSABias

Python tool for black-box analysis of RSA key generation in cryptographic libraries and for RSA key classification.