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 490 94

  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 131 47

  3. booltest booltest Public

    Forked from ph4r05/booltest

    Python 4 2

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

    Research initiative to make TLS certificate validation usable.

    Java 21 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 22 13

Repositories

Showing 10 of 126 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 22 MIT 13 23 (3 issues need help) 7 Updated Jan 8, 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 2 2 11 0 Updated Jan 8, 2026
  • coinjoin Public

    All we do for coinjoins

    crocs-muni/coinjoin’s past year of commit activity
    HTML 0 MIT 0 0 0 Updated Jan 8, 2026
  • scrutiny-fabric Public

    Decentralized security metadata protocol built on Nostr for binding certifications, test results, and vulnerability data to products.

    crocs-muni/scrutiny-fabric’s past year of commit activity
    TypeScript 2 MIT 0 0 0 Updated Jan 7, 2026
  • meesign-client Public
    crocs-muni/meesign-client’s past year of commit activity
    Dart 10 Apache-2.0 6 14 3 Updated Jan 7, 2026
  • meesign-helper Public
    crocs-muni/meesign-helper’s past year of commit activity
    Java 0 Apache-2.0 3 0 0 Updated Jan 7, 2026
  • meesign-crypto Public
    crocs-muni/meesign-crypto’s past year of commit activity
    Rust 0 Apache-2.0 5 0 0 Updated Jan 7, 2026
  • meesign-server Public
    crocs-muni/meesign-server’s past year of commit activity
    Rust 12 Apache-2.0 9 5 3 Updated Jan 7, 2026
  • ai-sectools-project Public

    The catalogue of security tools and methods developed during AI-Sectools project

    crocs-muni/ai-sectools-project’s past year of commit activity
    1 MIT 1 1 0 Updated Jan 7, 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
    Python 14 MIT 5 8 0 Updated Jan 6, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…