Explore @CROSSINGTUD Open Source projects

CROSSING (@CROSSINGTUD)

CROSSINGTUD

Stars
143
Global Org. Rank 48,361 (Top 16 %)
Registered over 7 years ago
Most used languages

Java
88.9 %

Rascal 11.1 %
Location 🇩🇪 Germany
Country Total Rank 8,412
Country Ranking

Rascal 2

Java
650

CryptoAnalysis

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

SPDS

Efficient and Precise Pointer-Tracking Data-Flow Framework

Crypto-API-Rules

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

CamBench

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

CryptSL

bc-hybrid-certificates

Java implementation of hybrid certificates using BouncyCastle

MetaCrySL

This repository comprises everything related to the modularization of CrySL.

CogniCrypt_DOC

CogniCrypt_TESTGEN

A Test Generator for Java Crypto APIs

CryptoAnalysis-demo

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