Discover crocs-muni/eacirc-utils Open Source project

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

481

javacard-curated-list

377

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

usable-cert-validation

Research initiative to make TLS certificate validation usable.

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

javacard-gradle-template-edu

Randomness testing toolkit automates running and evaluating statistical testing batteries

randomness-testing-toolkit

classifyRSAkey

Distinguisher of Standard & Simulated Elliptic Curves via Traits.

DiSSECT

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

eacirc

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

ct-tools

A repository of tools for verifying constant-timeness

Shell

sec-certs

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

Jupyter Notebook

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.

meesign-client

Dart

smpc-implementations

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

meesign-server

Rust

RSABias

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

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

rtt-statistical-batteries

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

A tool for testing and measuring TPM 2.0 crypto functionality.

tpm2-algtest

git-ci-demo

The demo integration of GitHub and TravicCI.

Program to extract cryptographic operations from power traces.

SPA-Cryptographic-Operations-Extractor

CEVAST: SSL Certificate Validation and Statistics tool

cevast

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

CAESAR (Competition for Authenticated Encryption) candidates for CryptoStreams project

CryptoStreams_CAESAR

BoolTest paper related tools, random number generators, references

JCFROST

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

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

GANet

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

RAM and EEPROM memory profiling tool for JavaCard platform

JCMemProfiler

coinjoin-simulator

acsac2017-certificate-transparency-java

Whitebox-crypto-HMAC

eacirc-core

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

rtt-deployment

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

pi-apdu-logger

Passive ISO7816 APDU logger for Raspberry Pi

Automated tool for collecting screenshots of browser SSL/TLS warnings

tls-warning-collector

Web interface for Randomness Testing Toolkit.

RTTWebInterface

oneclick

Arduino WSN network management tool

JeeTool

SHINE

Researchers_Night_Game

nesC

SHINE-mediator

Rust

DiSSECT-gen

data generation of the given form

data-generation

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

bitcoin-keys-analysis-results-

formula-for-disaster

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