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 481 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 112 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 13 9

Repositories

Showing 10 of 105 repositories
  • 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 13 MIT 9 17 (2 issues need help) 4 Updated Nov 15, 2024
  • 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
    425 MIT 91 6 0 Updated Nov 14, 2024
  • opal-test-suite Public

    Opal Test Suite

    crocs-muni/opal-test-suite’s past year of commit activity
    Shell 0 MIT 0 0 0 Updated Nov 10, 2024
  • opal-toolset Public

    A set of tools for managing and analysing Opal devices.

    crocs-muni/opal-toolset’s past year of commit activity
    C 3 MIT 3 0 0 Updated Oct 19, 2024
  • meesign-client Public
    crocs-muni/meesign-client’s past year of commit activity
    Dart 8 6 1 0 Updated Oct 13, 2024
  • OptimizedJCAlgs Public

    Collection of open-source JavaCard crypto algorithms. Optimized for memory and speed with unified interface

    crocs-muni/OptimizedJCAlgs’s past year of commit activity
    Java 12 MIT 5 1 0 Updated Oct 6, 2024
  • meesign-server Public
    crocs-muni/meesign-server’s past year of commit activity
    Rust 7 7 0 2 Updated Sep 26, 2024
  • ct-tools Public

    A repository of tools for verifying constant-timeness

    crocs-muni/ct-tools’s past year of commit activity
    Shell 12 3 8 0 Updated Sep 17, 2024
  • SED-Storage-Visualiser Public
    crocs-muni/SED-Storage-Visualiser’s past year of commit activity
    JavaScript 0 BSD-3-Clause 0 2 0 Updated Sep 15, 2024
  • dcp-glv Public

    Decompose and conquer: ZVP attacks on GLV curves

    crocs-muni/dcp-glv’s past year of commit activity
    Python 1 0 0 0 Updated Sep 9, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…