CRoCS

Centre for Research on Cryptography and Security

Faculty of Informatics, Masaryk University, Brno
https://crocs.fi.muni.cz
Verified
We've verified that the organization crocs-muni controls the domain:
- crocs.fi.muni.cz
Learn more about verified organizations

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

Jupyter Notebook 2 MIT 2 13 (1 issue needs help) 2 Updated Apr 11, 2022
usable-cert-validation Public
Research initiative to make TLS certificate validation usable.

Java 11 MIT 4 30 3 Updated Apr 11, 2022
scrutiny Public
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.

Python 3 MIT 0 1 1 Updated Apr 10, 2022
open-source-development-course Public
Open Source Development Course

17 4 0 0 Updated Apr 6, 2022
DiSSECT-gen Public

Python 0 1 0 0 Updated Apr 5, 2022
meesign-server Public

Rust 0 3 0 0 Updated Apr 5, 2022
DiSSECT Public
Distinguisher of Standard & Simulated Elliptic Curves via Traits.

Python 8 MIT 2 0 0 Updated Mar 25, 2022
CryptoStreams Public
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.

C 10 MIT 8 20 (2 issues need help) 0 Updated Mar 23, 2022
meesign-client Public

Dart 0 0 1 0 Updated Mar 8, 2022
cm_factorization Public
Complex multiplication based factorization

Jupyter Notebook 27 MIT 5 0 0 Updated Feb 21, 2022

Pinned