CROSSING

icon indicating a website link https://www.crossing.tu-darmstadt.de/en/crossing/?no_cache=1

icon location Darmstadt icon location Collaborative Research Center CROSSING at TU Darmstadt

Results 3 repositories owned by CROSSING

CryptoAnalysis

60
Stars
39
Forks
Watchers

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

verified publisher icon CROSSINGTUD

Crypto-API-Rules

15
Stars
12
Forks
Watchers

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

verified publisher icon CROSSINGTUD

SPDS

39
Stars
37
Forks
Watchers

Efficient and Precise Pointer-Tracking Data-Flow Framework

verified publisher icon CROSSINGTUD