crossingtud Goto Github PK
Name: CROSSING
Type: Organization
Bio: Collaborative Research Center CROSSING at TU Darmstadt
Location: Darmstadt
Blog: https://www.crossing.tu-darmstadt.de/en/crossing/?no_cache=1
Name: CROSSING
Type: Organization
Bio: Collaborative Research Center CROSSING at TU Darmstadt
Location: Darmstadt
Blog: https://www.crossing.tu-darmstadt.de/en/crossing/?no_cache=1
Java implementation of hybrid certificates using BouncyCastle
Repository for the paper: CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite
This repository contains Java projects to showcase CogniCrypt's features with.
CogniCrypt_FIX: an automatic Crypto-API misuse repair approach based on CrySL .
A Test Generator for Java Crypto APIs
This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
Demo of the github Action of CryptoAnalysis (for the CamBench repository)
Port of Crysl Editor to Jetbrains MPS
[@akwick @cwb38] The C++ Library for Mobile Private Contact Discovery forked and adapted for the integration into CogniCrypt
This repository comprises everything related to the modularization of CrySL.
Fork of OpenSSL from liboqs that adds backwards compatible hybrid certificates.
CogniCrypt EnsuresPredicate QuickFix Maven Dependency
[@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.
Efficient and Precise Pointer-Tracking Data-Flow Framework
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.