CRoCS (crocs-muni)

CRoCS

crocs-muni

Geek Repo

Centre for Research on Cryptography and Security

Location:Faculty of Informatics, Masaryk University, Brno

Home Page:https://crocs.fi.muni.cz

Github PK Tool:Github PK Tool

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:JavaLicense:MITStargazers:112Issues:18Issues:179

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:JavaLicense:MITStargazers:61Issues:9Issues:10

javacard-gradle-template-edu

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

Language:JavaLicense:MITStargazers:19Issues:6Issues:7

usable-cert-validation

Research initiative to make TLS certificate validation usable.

Language:JavaLicense:MITStargazers:19Issues:3Issues:91

randomness-testing-toolkit

Randomness testing toolkit automates running and evaluating statistical testing batteries

Language:C++License:NOASSERTIONStargazers:17Issues:10Issues:40

DiSSECT

Distinguisher of Standard & Simulated Elliptic Curves via Traits.

Language:PythonLicense:MITStargazers:14Issues:6Issues:0

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...).

Language:Jupyter NotebookLicense:MITStargazers:12Issues:7Issues:131

tpm2-algtest

A tool for testing and measuring TPM 2.0 crypto functionality.

Language:CLicense:BSD-2-ClauseStargazers:6Issues:9Issues:3

rtt-statistical-batteries

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

Language:CStargazers:5Issues:5Issues:0
Language:PythonLicense:MITStargazers:3Issues:5Issues:0
Language:PythonLicense:MITStargazers:3Issues:0Issues:0

opal-toolset

A set of tools for managing and analysing Opal devices.

Language:CLicense:MITStargazers:3Issues:5Issues:0

dcp-glv

Decompose and conquer: ZVP attacks on GLV curves

Language:PythonStargazers:1Issues:4Issues:0

biometrics-utils

Utilities for assignments on biometric authentication

Language:PythonStargazers:0Issues:4Issues:2
Language:PythonLicense:MITStargazers:0Issues:3Issues:0

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.

Language:PythonLicense:MITStargazers:0Issues:5Issues:0
Language:JavaLicense:MITStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:3Issues:0

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

Language:RustStargazers:0Issues:5Issues:0

RTT-configuration-calculator

RTT Configuration Calculator

Language:PythonLicense:MITStargazers:0Issues:0Issues:0
Language:JavaScriptLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:6Issues:0
Stargazers:0Issues:5Issues:0

ts-spect-compiler

SPECT Compiler

Language:C++Stargazers:0Issues:1Issues:0

ts-spect-fw

SPECT Production FW

Language:AssemblyLicense:Apache-2.0Stargazers:0Issues:1Issues:0

xroad-threshold-signatures

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

License:MITStargazers:0Issues:5Issues:0