CRoCS
Centre for Research on Cryptography and Security
Faculty of Informatics, Masaryk University, Brno
Pinned Repositories
APDUPlay
PC/SC inspection and manipulation tool
booltest
cm_factorization
Complex multiplication based factorization
ECTester
Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected software libraries.
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.
minerva
Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020
open-source-development-course
Open Source Development Course
roca
ROCA: Infineon RSA key vulnerability
usable-cert-validation
Research initiative to make TLS certificate validation usable.
CRoCS's Repositories
crocs-muni/roca
ROCA: Infineon RSA key vulnerability
crocs-muni/javacard-curated-list
Curated list of open-source Java Card applets and related applications for cryptographic smartcards
crocs-muni/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.
crocs-muni/ECTester
Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected software libraries.
crocs-muni/javacard-gradle-template-edu
JavaCard project template for building CAP and running JCardSim with gradle + coverage
crocs-muni/randomness-testing-toolkit
Randomness testing toolkit automates running and evaluating statistical testing batteries
crocs-muni/DiSSECT
Distinguisher of Standard & Simulated Elliptic Curves via Traits.
crocs-muni/ct-tools
A repository of tools for verifying constant-timeness
crocs-muni/sec-certs
Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
crocs-muni/efd
An export of the Explicit-Formulas Database.
crocs-muni/meesign-client
crocs-muni/meesign-server
crocs-muni/RSABias
Python tool for black-box analysis of RSA key generation in cryptographic libraries and for RSA key classification.
crocs-muni/rtt-statistical-batteries
Set of statistical batteries used by randomness-testing-toolkit.
crocs-muni/tpm2-algtest
A tool for testing and measuring TPM 2.0 crypto functionality.
crocs-muni/coinjoin-simulator
crocs-muni/opal-toolset
A set of tools for managing and analysing Opal devices.
crocs-muni/pi-apdu-logger
Passive ISO7816 APDU logger for Raspberry Pi
crocs-muni/algtest-pyprocess
crocs-muni/biometrics-utils
Utilities for assignments on biometric authentication
crocs-muni/dcp-glv
Decompose and conquer: ZVP attacks on GLV curves
crocs-muni/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.
crocs-muni/meesign-crypto
crocs-muni/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
crocs-muni/RTT-configuration-calculator
RTT Configuration Calculator
crocs-muni/tpmscan-artifact
crocs-muni/tpmscan-dataset
crocs-muni/ts-spect-compiler
SPECT Compiler
crocs-muni/ts-spect-fw
SPECT Production FW
crocs-muni/xroad-threshold-signatures
This repository explains how to deploy threshold signatures through the PKCS#11 interface to the data exchange system X-Road.