CRoCS

roca

ROCA: Infineon RSA key vulnerability

javacard-curated-list

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

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.

ECTester

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

usable-cert-validation

Research initiative to make TLS certificate validation usable.

javacard-gradle-template-edu

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

randomness-testing-toolkit

Randomness testing toolkit automates running and evaluating statistical testing batteries

ct-tools

A repository of tools for verifying constant-timeness

sec-certs

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

efd

An export of the Explicit-Formulas Database.

meesign-client

meesign-server

RSABias

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

rtt-statistical-batteries

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

tpm2-algtest

A tool for testing and measuring TPM 2.0 crypto functionality.

coinjoin-simulator

pi-apdu-logger

Passive ISO7816 APDU logger for Raspberry Pi

algtest-pyprocess

biometrics-utils

Utilities for assignments on biometric authentication

dcp-glv

Decompose and conquer: ZVP attacks on GLV curves

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.

meesign-crypto

opal-toolset

A set of tools for managing and analysing Opal devices.

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

RTT-configuration-calculator

RTT Configuration Calculator

tpmscan-artifact

tpmscan-dataset

ts-spect-compiler

SPECT Compiler

ts-spect-fw

SPECT Production FW

xroad-threshold-signatures

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