Skip to content
@CROSSINGTUD

CROSSING

Collaborative Research Center CROSSING at TU Darmstadt

Pinned Loading

  1. CryptoAnalysis Public

    CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

    Java 71 42

  2. Crypto-API-Rules Public

    This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.

    16 12

  3. CryptSL Public

    Java 6 5

  4. CryptoAnalysis-demo Public

    Demo of the github Action of CryptoAnalysis (for the CamBench repository)

    Java 1 1

  5. CamBench Public

    Repository for the paper: CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite

    Java 8 8

Repositories

Showing 10 of 21 repositories
  • CryptoAnalysis Public

    CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

    Java 71 EPL-2.0 42 9 1 Updated Mar 26, 2025
  • CryptSL Public
    Java 6 EPL-2.0 5 3 2 Updated Mar 24, 2025
  • Crypto-API-Rules Public

    This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.

    16 12 5 5 Updated Mar 17, 2025
  • CryptoAnalysis-demo Public

    Demo of the github Action of CryptoAnalysis (for the CamBench repository)

    Java 1 Apache-2.0 1 0 2 Updated Aug 30, 2024
  • CogniCrypt_DOC Public
    Java 1 1 0 3 Updated Aug 6, 2024
  • CamBench Public

    Repository for the paper: CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite

    Java 8 Apache-2.0 8 1 0 Updated Apr 18, 2024
  • Crysl-MPS Public

    Port of Crysl Editor to Jetbrains MPS

    JetBrains MPS 0 2 0 0 Updated Feb 5, 2023
  • S6_integration_Elsa Public Forked from juliushardt/ComposableCrypto

    [@akwick @PhMuth] Integration of ELSA into Cognicrypt as part of the bachelor thesis: "Integrating ELSA into CogniCrypt - Steering developers towards the correct usage of REST-based security solutions“ by @juliushardt.

    C++ 0 1 0 0 Updated Aug 1, 2022
  • Thesis-2021-Asgharivaskasi Public
    TeX 0 0 0 0 Updated May 19, 2022
  • E4_integration_PSI_code Public Forked from oliver-schick/mobile_psi_cpp

    [@akwick @cwb38] The C++ Library for Mobile Private Contact Discovery forked and adapted for the integration into CogniCrypt

    C 0 MIT 6 0 0 Updated Jan 14, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…