CRoCS

crocs-muni

Organization data from Github https://github.com/crocs-muni

Centre for Research on Cryptography and Security

Faculty of Informatics, Masaryk University, Brno

https://crocs.fi.muni.cz

CRoCS's repositories

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.

Language:JavaMIT117 17 184

ECTester

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

Language:JavaMIT67 7 11

usable-cert-validation

Research initiative to make TLS certificate validation usable.

Language:JavaMIT19 2 91

ct-tools

A repository of tools for verifying constant-timeness

Language:HTML18 6 30

sec-certs

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

Language:Jupyter NotebookMIT18 6 149

DiSSECT

Distinguisher of Standard & Simulated Elliptic Curves via Traits.

Language:PythonMIT16 5 1

OptimizedJCAlgs

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

Language:JavaMIT12 3 2

scrutiny

An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level frameworks to build and later verify profiles against reference and produce detailed HTML reports. For now, SCRUTINY is capable of analyzing JavaCard, TPM, SED, and cryptolibs.

Language:PythonMIT11 4 8

meesign-client

Language:Dart9 4 7

meesign-server

Language:Rust7 4 2

rtt-statistical-batteries

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

Language:C6 40

tpm2-algtest

A tool for testing and measuring TPM 2.0 crypto functionality.

Language:CBSD-2-Clause6 9 3

coinjoin-emulator

Language:PythonMIT4 3 1

blocksci

A high-performance tool for blockchain science and exploration

Language:Jupyter NotebookGPL-3.0300

booltest

Language:PythonMIT3 40

dcp-glv

Decompose and conquer: ZVP attacks on GLV curves

Language:Python3 50

opal-toolset

A set of tools for managing and analysing Opal devices.

Language:CMIT3 50

formula-for-disaster

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

Language:PythonMIT2 70

jcalgtest_results

Datasets with results collected from JCAlgTest benchmarking tool

Language:HTMLMIT1 3 2

JCMint

Language:JavaMIT1 10

opal-test-suite

Opal Test Suite

Language:ShellMIT02 7

JC2pECDSA

Language:JavaMIT000

JCPreECDSA

Language:JavaMIT000

meesign-crypto

Language:Rust030

SED-Storage-Visualiser

Language:JavaScriptBSD-3-Clause02 5

tpmscan-artifact

Language:PythonBSD-2-Clause060

ts-spect-compiler

SPECT Compiler

Language:C++010

ts-spect-fw

SPECT Production FW

Language:AssemblyApache-2.0010

xroad-threshold-signatures

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

MIT050