CROSSING

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

bc-hybrid-certificates

Java implementation of hybrid certificates using BouncyCastle

CryptSL

openssl-hybrid-certificates

Fork of OpenSSL from liboqs that adds backwards compatible hybrid certificates.

CogniCrypt_DOC

CogniCrypt_TESTGEN

A Test Generator for Java Crypto APIs

MetaCrySL

This repository comprises everything related to the modularization of CrySL.

CryptoAnalysis-demo

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

CryptoAnalysis-MavenPlugin

Crysl-MPS

Port of Crysl Editor to Jetbrains MPS

CogniCrypt-ExampleProjects

This repository contains Java projects to showcase CogniCrypt's features with.

CogniCrypt_FIX

CogniCrypt_FIX: an automatic Crypto-API misuse repair approach based on CrySL .

E4_integration_PSI_code

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

hugo-website-sources

paper-crysl-reproduciblity-artefacts

PredicateEnsurer

CogniCrypt EnsuresPredicate QuickFix Maven Dependency

S6_integration_Elsa

[@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.

Thesis-2021-Asgharivaskasi