CROSSING

Collaborative Research Center CROSSING at TU Darmstadt

CryptoAnalysis Public
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

Java 52 EPL-2.0 35 47 (2 issues need help) 42 Updated May 6, 2022
Crypto-API-Rules Public
This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.

16 EPL-2.0 12 7 7 Updated May 5, 2022
CamBench Public
Repository for the paper: CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite

0 0 0 0 Updated May 5, 2022
CogniCrypt_DOC Public

Java 0 1 0 1 Updated Mar 14, 2022
Thesis-2021-Asgharivaskasi Public

0 0 0 0 Updated Feb 2, 2022
E4_integration_PSI_code Public
[@akwick @cwb38] The C++ Library for Mobile Private Contact Discovery forked and adapted for the integration into CogniCrypt

C 0 MIT 5 0 0 Updated Jan 14, 2022
CogniCrypt_TESTGEN Public
A Test Generator for Java Crypto APIs

Java 1 3 8 1 Updated Dec 13, 2021
Crysl-MPS Public
Port of Crysl Editor to Jetbrains MPS

0 1 0 0 Updated Nov 8, 2021
CryptSL Public

Java 5 5 8 2 Updated Oct 29, 2021
S6_integration_Elsa Public
[@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 Oct 18, 2021

Pinned