Explore @crocs-muni Open Source projects

CRoCS (@crocs-muni)

crocs-muni

Stars
1,415
Global Org. Rank 12,130 (Top 4 %)
Registered about 10 years ago
Most used languages

Python
28.1 %

Java
25.0 %

C++
18.8 %

C
9.4 %

nesC 4.7 %

Jupyter Notebook
3.1 %

Rust
3.1 %

Arduino 1.6 %

Dart
1.6 %

Shell
1.6 %

AutoHotkey 1.6 %

HTML
1.6 %
Location 🇨🇿 Czechia
Country Total Rank 101
Country Ranking

AutoHotkey 1

nesC 3

Jupyter Notebook
19

Java
25

Dart
28

Python
32

Arduino 33

C++
72

Rust
83

C
119

Shell
170

HTML
679

roca

ROCA: Infineon RSA key vulnerability

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.

ECTester

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

APDUPlay

PC/SC inspection and manipulation tool

cm_factorization

Complex multiplication based 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

usable-cert-validation

Research initiative to make TLS certificate validation usable.

randomness-testing-toolkit

Randomness testing toolkit automates running and evaluating statistical testing batteries

DiSSECT

Distinguisher of Standard & Simulated Elliptic Curves via Traits.

sec-certs

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

Jupyter Notebook

CryptoStreams

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.

classifyRSAkey

OptimizedJCAlgs

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

eacirc

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

ct-tools

A repository of tools for verifying constant-timeness

meesign-client

meesign-server

ddos-vault

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

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

PowerTraceSimulator

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.

RSABias

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

SPA-Cryptographic-Operations-Extractor

Program to extract cryptographic operations from power traces.

JCFROST

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

Arduino_EntropyAssesment

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

SPA-JavaCard-Applet

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

scrutiny

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.

git-ci-demo

The demo integration of GitHub and TravicCI.

coinjoin-emulator

CryptoStreams_CAESAR

CAESAR (Competition for Authenticated Encryption) candidates for CryptoStreams project

pd

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.

APDULogger

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

acsac2017-data-tools

ACSAC 2017 paper - dataset tools

fooling-primality-tests

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

cevast

CEVAST: SSL Certificate Validation and Statistics tool

JCMemProfiler

RAM and EEPROM memory profiling tool for JavaCard platform

opal-toolset

A set of tools for managing and analysing Opal devices.

acsac2017-certificate-transparency-java

Whitebox-crypto-HMAC

eacirc-utils

Utils for experiment creation and result postprocessing

pi-apdu-logger

Passive ISO7816 APDU logger for Raspberry Pi

rtt-deployment

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

eacirc-core

scrutiny-power-traces-analyzer

SCRUTINY power traces analyzing module

DDoSaaS_Research

Research information about DDoSaaS providers

Arduino_IoT_Demo

WSNProtectLayer

TinyOS layer for configurable protection of message privacy and intrusion detection

WSNProtectLayer_Arduino

bitcoin-keys-analysis

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

biometrics-utils

Utilities for assignments on biometric authentication

GetKeysFromOpenSSL

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

Edu-hoc

Experimental and educational platform for wireless ad-hoc networking

sec_amplif

jcalgtest_results

Datasets with results collected from JCAlgTest benchmarking tool

RTTWebInterface

Web interface for Randomness Testing Toolkit.

tls-warning-collector

Automated tool for collecting screenshots of browser SSL/TLS warnings

oneclick

JeeTool

Arduino WSN network management tool

SHINE

Researchers_Night_Game

SHINE-mediator

DiSSECT-gen

bitcoin-keys-analysis-results-

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

data-generation

data generation of the given form

formula-for-disaster

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