Skip to content
@CROSSINGTUD

CROSSING

Collaborative Research Center CROSSING at TU Darmstadt

Pinned Loading

  1. CryptoAnalysis CryptoAnalysis Public

    CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

    Java 62 39

  2. Crypto-API-Rules Crypto-API-Rules Public

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

    15 12

  3. CryptSL CryptSL Public

    Java 6 5

Repositories

Showing 10 of 21 repositories
  • CryptSL Public
    CROSSINGTUD/CryptSL’s past year of commit activity
    Java 6 EPL-2.0 5 8 2 Updated Jun 25, 2024
  • CryptoAnalysis Public

    CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

    CROSSINGTUD/CryptoAnalysis’s past year of commit activity
    Java 62 EPL-2.0 39 25 7 Updated Jun 25, 2024
  • Crypto-API-Rules Public

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

    CROSSINGTUD/Crypto-API-Rules’s past year of commit activity
    15 12 5 3 Updated Jun 19, 2024
  • CryptoAnalysis-demo Public

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

    CROSSINGTUD/CryptoAnalysis-demo’s past year of commit activity
    Java 1 Apache-2.0 1 0 1 Updated Jun 7, 2024
  • CogniCrypt_DOC Public
    CROSSINGTUD/CogniCrypt_DOC’s past year of commit activity
    Java 1 1 0 1 Updated May 27, 2024
  • CamBench Public

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

    CROSSINGTUD/CamBench’s past year of commit activity
    Java 8 Apache-2.0 6 3 0 Updated Apr 18, 2024
  • Crysl-MPS Public

    Port of Crysl Editor to Jetbrains MPS

    CROSSINGTUD/Crysl-MPS’s past year of commit activity
    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.

    CROSSINGTUD/S6_integration_Elsa’s past year of commit activity
    C++ 0 1 0 0 Updated Aug 1, 2022
  • Thesis-2021-Asgharivaskasi Public
    CROSSINGTUD/Thesis-2021-Asgharivaskasi’s past year of commit activity
    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

    CROSSINGTUD/E4_integration_PSI_code’s past year of commit activity
    C 0 MIT 6 0 0 Updated Jan 14, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…