Data

Tools

Indexes

Applications

Experiments

Open Source Science

cryptoanalysis-demo

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

https://github.com/crossingtud/cryptoanalysis-demo

Science Score: 62.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ✓
    Academic publication links
    Links to: arxiv.org
  • ○
    Academic email domains
  • ✓
    Institutional organization owner
    Organization crossingtud has institutional domain (www.crossing.tu-darmstadt.de)
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (9.0%) to scientific vocabulary
Last synced: 6 months ago · JSON representation ·

Repository

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

Basic Info
  • Host: GitHub
  • Owner: CROSSINGTUD
  • License: apache-2.0
  • Language: Java
  • Default Branch: main
  • Size: 43.5 MB
Statistics
  • Stars: 1
  • Watchers: 8
  • Forks: 1
  • Open Issues: 1
  • Releases: 0
Created about 2 years ago · Last pushed 8 months ago
Metadata Files
Readme License Citation

README.md

Demo for the github Action of CryptoAnalysis - executed on CamBench

This repository is a demo on how to integrate the on github Action of CryptoAnalysis into a reposity. This demo is performed on CamBench as it provides labeled examples of cryptographic API misuses and correct usages in CamBench_Cap The github action is configured in cognicrypt.yml and executed in pull requests. More detailed results can be seen in the workflow's summary.

CamBench - Cryptographic API Misuse Detection Tool Benchmark

CamBench envisions to be a comprehensive benchmark for cryptographic API misuse detection tools consisting of three components: - CamBenchReal includes real-world Java applications with manually labeled usages. - CamBenchCap includes synthetic test cases to cover analysis capabilities. - CamBench_Cov is a heuristic for crypto API coverage.

CamBench is accepted as a registered report at MSR 22 [^1]. If you are interested in the progress of CamBench, please watch the repository or reach out to us. If you want to contribute to CamBench, feel free to raise an issue or contact us.

Project structure

  • logos contains the CamBench logo
  • presentations contains the various slides we used to present CamBench

[^1] Schlichtig, M., Wickert, A. K., Krüger, S., Bodden, E., & Mezini, M. (2022). CamBench--Cryptographic API Misuse Detection Tool Benchmark Suite. arXiv preprint arXiv:2204.06447.

License

The artwork and logos of the projects are licensed under CC BY-SA 4.0.

Owner

  • Name: CROSSING
  • Login: CROSSINGTUD
  • Kind: organization
  • Location: Darmstadt

Collaborative Research Center CROSSING at TU Darmstadt

Citation (CITATION.cff) 

cff-version: 1.2.0
message: "If you use this tool, please cite it as below."
authors:
- family-names: "Schlichtig"
  given-names: "Michael"
  oricd: "https://orcid.org/0000-0001-6600-6171"
- family-names: "Wickert"
  given-names: "Anna-Katharina"
  orcid: "https://orcid.org/0000-0002-1441-2423"
- family-names: "Krüger"
  given-names: "Stefan"
- family-names: "Bodden"
  given-names: "Eric"
  orcid: "https://orcid.org/0000-0003-3470-3647"
- family-names: "Mezini"
  given-names: "Mira"
  orcid: "https://orcid.org/0000-0001-6563-7537"
type: "misc"
title: "CamBench - Cryptographic API Misuse Detection Tool Benchmark"
doi: 10.48550/arXiv.2204.06447 
url: "https://github.com/CROSSINGTUD/CamBench"
note: "accepted at the MSR 2022 Registered Reports Track as a In-Principal Acceptance (IPA)"
month:  5
year: 2022

GitHub Events

Total
  • Push event: 3
  • Pull request event: 5
  • Create event: 2
Last Year
  • Push event: 3
  • Pull request event: 5
  • Create event: 2