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 484 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 45
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 31, 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 29, 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 7 UpdatedMar 28, 2025
meesign-server Public
crocs-muni/meesign-server’s past year of commit activity
Rust 7 8 0 3 UpdatedMar 28, 2025
meesign-client Public
crocs-muni/meesign-client’s past year of commit activity
Dart 9 6 4 1 UpdatedMar 27, 2025
opal-test-suite Public
Opal Test Suite
crocs-muni/opal-test-suite’s past year of commit activity
Shell0MIT0 3 2 UpdatedMar 25, 2025
coinjoin-emulator Public
crocs-muni/coinjoin-emulator’s past year of commit activity
Python 4MIT 5 0 1 UpdatedMar 22, 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
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 45 51 0 UpdatedFeb 24, 2025