Explore @crocs-muni Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Assembly

Rust

CSS

Go

Groovy

Objective-C

Perl

Lua

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Swift

Zig

JavaScript

R

Shell

Scala

Lua

Erlang

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇧🇯 Benin

🇬🇺 Guam

🇸🇬 Singapore

🇪🇸 Spain

🇹🇱 Timor-Leste

🇲🇵 Northern Mariana Islands

🇩🇯 Djibouti

🇧🇾 Belarus

All Countries Compare Countries

CRoCS (@crocs-muni)

crocs-muni

Stars
1,415
Global Org. Rank 11,893 (Top 4 %)
Registered over 9 years ago
Most used languages

Python
29.0 %

Java
24.2 %

C++
19.4 %

C
8.1 %

nesC 4.8 %

Rust
3.2 %

Jupyter Notebook
3.2 %

AutoHotkey 1.6 %

Dart
1.6 %

Arduino 1.6 %

Shell
1.6 %

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

AutoHotkey 1

nesC 3

Jupyter Notebook
19

Java
26

Python
29

Arduino 36

Dart
36

C++
73

Rust
77

C
137

Shell
171

HTML
889

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

usable-cert-validation

Research initiative to make TLS certificate validation usable.

javacard-gradle-template-edu

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

randomness-testing-toolkit

Randomness testing toolkit automates running and evaluating statistical testing batteries

classifyRSAkey

DiSSECT

Distinguisher of Standard & Simulated Elliptic Curves via Traits.

eacirc

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

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.

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

Jupyter Notebook

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.

meesign-client

smpc-implementations

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

meesign-server

RSABias

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

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.

tpm2-algtest

A tool for testing and measuring TPM 2.0 crypto functionality.

git-ci-demo

The demo integration of GitHub and TravicCI.

SPA-Cryptographic-Operations-Extractor

Program to extract cryptographic operations from power traces.

cevast

CEVAST: SSL Certificate Validation and Statistics tool

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.

CryptoStreams_CAESAR

CAESAR (Competition for Authenticated Encryption) candidates for CryptoStreams project

pd

BoolTest paper related tools, random number generators, references

JCFROST

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

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

JCMemProfiler

RAM and EEPROM memory profiling tool for JavaCard platform

coinjoin-simulator

acsac2017-certificate-transparency-java

Whitebox-crypto-HMAC

eacirc-utils

Utils for experiment creation and result postprocessing

eacirc-core

rtt-deployment

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

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

pi-apdu-logger

Passive ISO7816 APDU logger for Raspberry Pi

tls-warning-collector

Automated tool for collecting screenshots of browser SSL/TLS warnings

RTTWebInterface

Web interface for Randomness Testing Toolkit.

oneclick

JeeTool

Arduino WSN network management tool

SHINE

Researchers_Night_Game

SHINE-mediator

DiSSECT-gen

data-generation

data generation of the given form

bitcoin-keys-analysis-results-

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

formula-for-disaster

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