Skip to content
@crocs-muni

CRoCS

Centre for Research on Cryptography and Security

Pinned Loading

  1. roca roca Public

    ROCA: Infineon RSA key vulnerability

    Python 483 92

  2. JCAlgTest 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 115 44

  3. booltest booltest Public

    Forked from ph4r05/booltest

    Python 3 1

  4. usable-cert-validation usable-cert-validation Public

    Research initiative to make TLS certificate validation usable.

    Java 19 3

  5. open-source-development-course open-source-development-course Public

    Open Source Development Course

    24 5

  6. sec-certs sec-certs Public

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

    Jupyter Notebook 16 9

Repositories

Showing 10 of 108 repositories
  • 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 115 MIT 44 51 0 Updated Feb 24, 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.

    crocs-muni/ECTester’s past year of commit activity
    Java 67 MIT 14 2 0 Updated Feb 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
    448 MIT 95 4 0 Updated Feb 24, 2025
  • opal-test-suite Public

    Opal Test Suite

    crocs-muni/opal-test-suite’s past year of commit activity
    Shell 0 MIT 0 4 2 Updated Feb 24, 2025
  • meesign-client Public
    crocs-muni/meesign-client’s past year of commit activity
    Dart 8 6 2 1 Updated Feb 21, 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 2 MIT 0 0 0 Updated Feb 18, 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 16 MIT 9 20 (2 issues need help) 3 Updated Feb 17, 2025
  • ct-tools Public

    A repository of tools for verifying constant-timeness

    crocs-muni/ct-tools’s past year of commit activity
    HTML 15 3 4 0 Updated Feb 10, 2025
  • meesign-crypto Public
    crocs-muni/meesign-crypto’s past year of commit activity
    Rust 0 5 0 0 Updated Jan 22, 2025
  • blocksci Public Forked from citp/BlockSci

    A high-performance tool for blockchain science and exploration

    crocs-muni/blocksci’s past year of commit activity
    Jupyter Notebook 3 GPL-3.0 268 0 6 Updated Dec 24, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…