Repositories list

• Crypto-API-Rules

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

  apicryptographyexamples+ 2dslspecification

  12•15•5•7•Updated Nov 4, 2024Nov 4, 2024

• CryptoAnalysis

  Public
  CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

  javacryptographycommand-line-tool+ 4misuse-detectionstatic-analysisjcacryptoanalysis

  Java

  •

  Eclipse Public License 2.0

  •40•67•14•15•Updated Nov 4, 2024Nov 4, 2024

• CryptSL

  Public
  apilanguagecryptography+ 2dslspecification

  Java

  •

  Eclipse Public License 2.0

  •5•6•8•5•Updated Oct 28, 2024Oct 28, 2024

• CryptoAnalysis-demo

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

  Java

  •

  Apache License 2.0

  •1•1•0•2•Updated Aug 30, 2024Aug 30, 2024

• CogniCrypt_DOC

  Public
  Java

  •1•1•0•3•Updated Aug 6, 2024Aug 6, 2024

• CamBench

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

  Java

  •

  Apache License 2.0

  •7•8•1•0•Updated Apr 18, 2024Apr 18, 2024

• Crysl-MPS

  Public
  Port of Crysl Editor to Jetbrains MPS

  JetBrains MPS

  •2•0•0•0•Updated Feb 5, 2023Feb 5, 2023

• S6_integration_Elsa

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

  C++

  •1•0•0•0•Updated Aug 1, 2022Aug 1, 2022

• Thesis-2021-Asgharivaskasi

  Public
  TeX

  •0•0•0•0•Updated May 19, 2022May 19, 2022

• E4_integration_PSI_code

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

  C

  •

  MIT License

  •6•0•0•0•Updated Jan 14, 2022Jan 14, 2022

• CogniCrypt_TESTGEN

  Public
  A Test Generator for Java Crypto APIs

  test-automationteststesting-tools

  Java

  •3•1•8•1•Updated Dec 13, 2021Dec 13, 2021

• MetaCrySL

  Public
  This repository comprises everything related to the modularization of CrySL.

  Rascal

  •0•1•1•0•Updated Jul 16, 2021Jul 16, 2021

• SPDS

  Public archive
  Efficient and Precise Pointer-Tracking Data-Flow Framework

  javastatic-analysispushdown-automaton+ 3points-to-analysisweighted-pushdown-systemstypestate-analysis

  Java

  •

  Eclipse Public License 2.0

  •37•41•1•12•Updated Jul 8, 2021Jul 8, 2021

• hugo-website-sources

  Public
  JavaScript

  •5•0•0•0•Updated Apr 27, 2021Apr 27, 2021

• bc-hybrid-certificates

  Public
  Java implementation of hybrid certificates using BouncyCastle

  Java

  •

  MIT License

  •1•6•0•0•Updated Nov 27, 2020Nov 27, 2020

• CogniCrypt_FIX

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

  Eclipse Public License 2.0

  •0•0•0•0•Updated Sep 14, 2020Sep 14, 2020

• PredicateEnsurer

  Public
  CogniCrypt EnsuresPredicate QuickFix Maven Dependency

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Aug 19, 2019Aug 19, 2019

• openssl-hybrid-certificates

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

  C

  •

  Other

  •10k•3•0•0•Updated Jul 4, 2019Jul 4, 2019

• CryptoAnalysis-MavenPlugin

  Public
  Java

  •1•0•0•0•Updated Jan 3, 2019Jan 3, 2019

• paper-crysl-reproduciblity-artefacts

  Public
  0•0•0•0•Updated Jun 11, 2018Jun 11, 2018

• CogniCrypt-ExampleProjects

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

  Java

  •

  Eclipse Public License 2.0

  •0•0•0•0•Updated Feb 5, 2018Feb 5, 2018