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 495 96

  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 143 49

  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 32 13

Repositories

Showing 10 of 130 repositories
  • coinjoin Public

    All we do for coinjoins

    crocs-muni/coinjoin's past year of commit activity
    HTML 1 MIT 0 0 0 Updated Sep 12, 2026
  • 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 32 MIT 13 39 (2 issues need help) 6 Updated Sep 11, 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 548 MIT 118 2 0 Updated Sep 4, 2026
  • JCProfilerNext Public

    Profiler for JavaCard code and a rewrite of OpenCryptoProject/JCProfiler with easier usage and much more!

    crocs-muni/JCProfilerNext's past year of commit activity
    Java 16 GPL-3.0 4 9 (1 issue needs help) 13 Updated Aug 27, 2026
  • scrutiny-fabric Public

    A permissionless, decentralized security-metadata overlay protocol built on Nostr

    crocs-muni/scrutiny-fabric's past year of commit activity
    JavaScript 2 MIT 0 1 0 Updated Aug 21, 2026
  • jcalgtest_results Public

    Datasets with results collected from JCAlgTest benchmarking tool

    crocs-muni/jcalgtest_results's past year of commit activity
    HTML 1 MIT 2 2 1 Updated Jul 21, 2026
  • 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 143 MIT 49 54 1 Updated Jul 16, 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 3 12 2 Updated Jul 12, 2026
  • scrutiny-viz Public
    crocs-muni/scrutiny-viz's past year of commit activity
    Python 2 MIT 0 0 0 Updated Jul 5, 2026
  • scrutiny Public

    An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level frameworks to build and later verify profiles against reference and produce detailed HTML reports. For now, SCRUTINY is capable of analyzing JavaCard, TPM, SED, and cryptolibs.

    crocs-muni/scrutiny's past year of commit activity
    HTML 20 MIT 5 8 0 Updated Jul 2, 2026
View all repositories