Skip to content
@crocs-muni

CRoCS

Centre for Research on Cryptography and Security

Pinned Loading

  1. roca Public

    ROCA: Infineon RSA key vulnerability

    Python 486 92

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

    Java 119 45

  3. booltest Public

    Forked from ph4r05/booltest

    Python 3 1

  4. usable-cert-validation Public

    Research initiative to make TLS certificate validation usable.

    Java 19 3

  5. open-source-development-course Public

    Open Source Development Course

    24 5

  6. sec-certs Public

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

    Jupyter Notebook 18 9

Repositories

Showing 10 of 112 repositories
  • opal-test-suite Public

    Opal Test Suite

    Shell 0 MIT 0 4 2 Updated May 2, 2025
  • Dart 9 6 4 2 Updated May 2, 2025
  • sec-certs Public

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

    Jupyter Notebook 18 MIT 9 23 (3 issues need help) 3 Updated Apr 30, 2025
  • blocksci Public Forked from citp/BlockSci

    A high-performance tool for blockchain science and exploration

    Jupyter Notebook 4 GPL-3.0 268 0 7 Updated Apr 30, 2025
  • 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.

    Java 67 MIT 14 3 0 Updated Apr 28, 2025
  • Rust 7 8 0 0 Updated Apr 26, 2025
  • crocs_web Public
    HTML 0 0 0 0 Updated Apr 26, 2025
  • Rust 0 5 0 0 Updated Apr 25, 2025
  • indie-client Public
    Python 0 0 0 0 Updated Apr 23, 2025
  • indie-service Public
    Python 0 0 0 0 Updated Apr 23, 2025

Top languages

Loading…

Most used topics

Loading…