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 496 95

  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 148 50

  3. booltest booltest Public

    Forked from ph4r05/booltest

    Python 5 1

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

    Research initiative to make TLS certificate validation usable.

    Java 23 3

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

    Open Source Development Course

    25 5

  6. sec-certs sec-certs Public

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

    Jupyter Notebook 33 13

Repositories

Showing 10 of 133 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 33 MIT 13 33 (2 issues need help) 6 Updated Nov 10, 2026
  • coinjoin Public

    All we do for coinjoins

    crocs-muni/coinjoin's past year of commit activity
    HTML 2 MIT 0 0 0 Updated Nov 10, 2026
  • scrutiny-lens Public

    Search, inspect, and traverse SCRUTINY Fabric security metadata on Nostr

    crocs-muni/scrutiny-lens's past year of commit activity
    TypeScript 1 MIT 0 53 1 Updated Nov 8, 2026
  • crocs-muni/scrutiny-fabric-tools's past year of commit activity
    TypeScript 1 MIT 0 12 1 Updated Nov 7, 2026
  • 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 90 MIT 18 2 0 Updated Nov 5, 2026
  • coinjoin-analysis Public

    Processing and analysis of datasets created by Wallet Wasabi 1.x, Wallet Wasabi 2.x, Samourai Whirlpool and JoinMarket clients and coordinators

    crocs-muni/coinjoin-analysis's past year of commit activity
    Python 5 MIT 3 12 2 Updated Nov 2, 2026
  • DiSSECT Public

    Distinguisher of Standard & Simulated Elliptic Curves via Traits.

    crocs-muni/DiSSECT's past year of commit activity
    Python 18 MIT 5 1 0 Updated Nov 2, 2026
  • 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
    Python 560 MIT 120 2 0 Updated Oct 28, 2026
  • indie-jc Public
    crocs-muni/indie-jc's past year of commit activity
    Java 0 MIT 0 0 0 Updated Oct 22, 2026
  • RSABias Public

    Python tool for black-box analysis of RSA key generation in cryptographic libraries and for RSA key classification.

    crocs-muni/RSABias's past year of commit activity
    Python 8 MIT 3 1 3 Updated Oct 22, 2026