CROSSING
Collaborative Research Center CROSSING at TU Darmstadt
Pinned Loading
Repositories
Showing 10 of 21 repositories
- 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 - CryptSL Public
CROSSINGTUD/CryptSL’s past year of commit activity - CryptoAnalysis-demo Public
Demo of the github Action of CryptoAnalysis (for the CamBench repository)
CROSSINGTUD/CryptoAnalysis-demo’s past year of commit activity - CogniCrypt_DOC Public
CROSSINGTUD/CogniCrypt_DOC’s past year of commit activity - CamBench Public
Repository for the paper: CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite
CROSSINGTUD/CamBench’s past year of commit activity - 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 - Thesis-2021-Asgharivaskasi Public
CROSSINGTUD/Thesis-2021-Asgharivaskasi’s past year of commit activity - 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
Top languages
Loading…
Most used topics
Loading…