Discover crocs-muni/sec-certs Open Source project

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

481

javacard-curated-list

407

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.

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

101

ECTester

PC/SC inspection and manipulation tool

APDUPlay

Complex multiplication based factorization

cm_factorization

Jupyter Notebook

minerva

Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020

Open Source Development Course

open-source-development-course

javacard-gradle-template-edu

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

Research initiative to make TLS certificate validation usable.

usable-cert-validation

Randomness testing toolkit automates running and evaluating statistical testing batteries

randomness-testing-toolkit

Distinguisher of Standard & Simulated Elliptic Curves via Traits.

DiSSECT

Tool for generation of data from cryptoprimitives (block and stream ciphers, hash functions). Cryptoprimitives are round-reduced and the data can be configured for multiple testing scenarios.

CryptoStreams

classifyRSAkey

Collection of open-source JavaCard crypto algorithms. Optimized for memory and speed with unified interface

OptimizedJCAlgs

Automatic problem solver based on circuit-like representation and genetic programming

eacirc

A repository of tools for verifying constant-timeness

ct-tools

Shell

meesign-client

Dart

meesign-server

Rust

ddos-vault

Collection of samples, attack tools and support files for experimenting with Denial-of-Service attacks.

AutoHotkey

efd

An export of the Explicit-Formulas Database.

smpc-implementations

Documents and codes relevant for practical secure multi-party implementation of crypto algorithms (RSA, ECDSA)

tpm2-algtest

A tool for testing and measuring TPM 2.0 crypto functionality.

rtt-statistical-batteries

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

JCAppStore

Simulator and processor of power traces in the domain of cryptographic smart cards. Tools for performing Simple Power Analysis and Differential Power Analysis including preprocessing.

PowerTraceSimulator

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

RSABias

Program to extract cryptographic operations from power traces.

SPA-Cryptographic-Operations-Extractor

JavaCard implementation of FROST threshold signature scheme relying only on public JavaCard API.

JCFROST

Implementation of NIST Entropy assesment tests as specified in SP800-90B in form of Arduino library.

Arduino_EntropyAssesment

JavaCard test applet with cryptographic operations like AES encryption, DES encryption, RSA or ECC key generation or data signing...

SPA-JavaCard-Applet

An automated toolkit to analyze secure hardware, and build user-verifiable hardware profiles. SCRUTINY provides high-level frameworks to verify profiles against reference and produce detailed HTML reports. For now, SCRUTINY is capable of Java Card analysis and verification.

scrutiny

The demo integration of GitHub and TravicCI.

git-ci-demo

coinjoin-emulator

CAESAR (Competition for Authenticated Encryption) candidates for CryptoStreams project

CryptoStreams_CAESAR

BoolTest paper related tools, random number generators, references

GANet

The GANet project provides possibility to setup virtual image with target application, which is then tested by the attacks generated using genetic programming.

Logging setup for analysis of APDU commands exchanged between blackbox terminal and blackbox smarcard

APDULogger

ACSAC 2017 paper - dataset tools

acsac2017-data-tools

Artifacts for the "Fooling primality tests on smartcards" paper at ESORICS 2020

fooling-primality-tests

CEVAST: SSL Certificate Validation and Statistics tool

cevast

RAM and EEPROM memory profiling tool for JavaCard platform

JCMemProfiler

opal-toolset

A set of tools for managing and analysing Opal devices.

acsac2017-certificate-transparency-java

Utils for experiment creation and result postprocessing

Whitebox-crypto-HMAC

eacirc-utils

Passive ISO7816 APDU logger for Raspberry Pi

pi-apdu-logger

Set of scripts automating deployment of randomness-testing-toolkit on remote servers.

rtt-deployment

eacirc-core

SCRUTINY power traces analyzing module

scrutiny-power-traces-analyzer

Research information about DDoSaaS providers

DDoSaaS_Research

Arduino_IoT_Demo

TinyOS layer for configurable protection of message privacy and intrusion detection

WSNProtectLayer

nesC

WSNProtectLayer_Arduino

A set of tools for extraction and analysis of Bitcoin ECDSA and Schnorr keys

bitcoin-keys-analysis

Utilities for assignments on biometric authentication

biometrics-utils

Attempts to retrieve RSA keys from as many OpenSSL versions as possible

GetKeysFromOpenSSL

Edu-hoc

Experimental and educational platform for wireless ad-hoc networking

Arduino

sec_amplif

nesC

jcalgtest_results

Datasets with results collected from JCAlgTest benchmarking tool

HTML

RTTWebInterface

Web interface for Randomness Testing Toolkit.

Automated tool for collecting screenshots of browser SSL/TLS warnings

tls-warning-collector

oneclick

Arduino WSN network management tool

JeeTool

SHINE

Researchers_Night_Game

nesC

SHINE-mediator

Rust

DiSSECT-gen

Results collected by https://github.com/crocs-muni/bitcoin-keys-analysis repository

bitcoin-keys-analysis-results-

data-generation

data generation of the given form

Artifacts for the "A formula for disaster: a unified approach to elliptic curve special-point-based attacks" paper at ASIACRYPT 2021

formula-for-disaster