CRoCS

Centre for Research on Cryptography and Security

Verified
We've verified that the organizationcrocs-muni controls the domain:
- crocs.fi.muni.cz
Learn more about verified organizations

54 followers
Faculty of Informatics, Masaryk University, Brno
https://crocs.fi.muni.cz

PinnedLoading

rocarocaPublic
ROCA: Infineon RSA key vulnerability
Python 483 92
JCAlgTestJCAlgTestPublic
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.
Java 117 44
booltestbooltestPublic
Forked fromph4r05/booltest
Python 3 1
usable-cert-validationusable-cert-validationPublic
Research initiative to make TLS certificate validation usable.
Java 19 3
open-source-development-courseopen-source-development-coursePublic
Open Source Development Course
24 5
sec-certssec-certsPublic
Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
Jupyter Notebook 18 9

Repositories

Showing 10 of 108 repositories

ECTester Public
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/ECTester’s past year of commit activity
Java 67MIT 14 2 0 UpdatedMar 20, 2025
opal-toolset Public
A set of tools for managing and analysing Opal devices.
crocs-muni/opal-toolset’s past year of commit activity
C 3MIT 3 0 0 UpdatedMar 20, 2025
opal-test-suite Public
Opal Test Suite
crocs-muni/opal-test-suite’s past year of commit activity
Shell0MIT0 3 1 UpdatedMar 20, 2025
meesign-client Public
crocs-muni/meesign-client’s past year of commit activity
Dart 9 6 4 1 UpdatedMar 19, 2025
sec-certs Public
Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
crocs-muni/sec-certs’s past year of commit activity
Jupyter Notebook 18MIT 9 23 (3 issues need help) 3 UpdatedMar 10, 2025
blocksci Public Forked fromcitp/BlockSci
A high-performance tool for blockchain science and exploration
crocs-muni/blocksci’s past year of commit activity
Jupyter Notebook 3GPL-3.0 267 0 6 UpdatedMar 6, 2025
meesign-crypto Public
crocs-muni/meesign-crypto’s past year of commit activity
Rust0 5 0 1 UpdatedMar 4, 2025
JCAlgTest Public
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/JCAlgTest’s past year of commit activity
Java 117MIT 44 51 0 UpdatedFeb 24, 2025
javacard-curated-list Public
Curated list of open-source Java Card applets and related applications for cryptographic smartcards
crocs-muni/javacard-curated-list’s past year of commit activity
452MIT 96 4 0 UpdatedFeb 24, 2025
formula-for-disaster Public
Artifacts for the "A formula for disaster: a unified approach to elliptic curve special-point-based attacks" paper at ASIACRYPT 2021
crocs-muni/formula-for-disaster’s past year of commit activity
Python 2MIT0 0 0 UpdatedFeb 18, 2025