GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → CROSSINGTUD → Crypto-API-Rules

CROSSINGTUD / Crypto-API-Rules

Licence: other
This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.

Labels

apicryptographyexamplesspecification

Projects that are alternatives of or similar to Crypto-API-Rules

examples
Examples from the AIMMS Modeling Book, Functional examples demonstrating particular AIMMS features, AIMMS-style application examples including an end-user UI, Practical examples, including references to the articles on which each example is based.
Stars: ✭ 16 (+0%)
Mutual labels:  examples
performance-timeline
Performance Timeline
Stars: ✭ 102 (+537.5%)
Mutual labels:  specification
shared-row
This is an open data specification for describing the right-of-way (ROW) for street centerline networks. It is intended to establish a common set of attributes (schema) to describe how space is allocated along a streets right of way from sidewalk edge to sidewalk edge.
Stars: ✭ 16 (+0%)
Mutual labels:  specification
webid-oidc-spec
WebID-OIDC Authentication Spec v0.1.0
Stars: ✭ 51 (+218.75%)
Mutual labels:  specification
python-weka-wrapper-examples
Example code for the python-weka-wrapper project.
Stars: ✭ 35 (+118.75%)
Mutual labels:  examples
terraform-openstack
Create multiple instances with floating ip assigning on openstack using terraform.
Stars: ✭ 33 (+106.25%)
Mutual labels:  examples
Spring-Boot-efficient-search-API
medium.com/quick-code/spring-boot-how-to-design-efficient-search-rest-api-c3a678b693a0?source=friends_link&sk=a9344c624d6e61b0fa8f42a9e1fcfcbe
Stars: ✭ 63 (+293.75%)
Mutual labels:  specification
ShadowEditor-examples
ShadowEditor Demo. https://tengge1.github.io/ShadowEditor-examples/
Stars: ✭ 33 (+106.25%)
Mutual labels:  examples
ipld-examples
No description or website provided.
Stars: ✭ 28 (+75%)
Mutual labels:  examples
DscExamples
Small examples of some of our DSC tooling and usage
Stars: ✭ 20 (+25%)
Mutual labels:  examples
cplusplus11.Examples
C++11 Examples
Stars: ✭ 52 (+225%)
Mutual labels:  examples
gamma-astro-data-formats
Data formats for gamma-ray astronomy
Stars: ✭ 24 (+50%)
Mutual labels:  specification
go-design-pattern
go的设计模式实例
Stars: ✭ 45 (+181.25%)
Mutual labels:  examples
Deeplearning.ai-GAN-Specialization-Generative-Adversarial-Networks
This repository contains my full work and notes on Deeplearning.ai GAN Specialization (Generative Adversarial Networks)
Stars: ✭ 59 (+268.75%)
Mutual labels:  specification
hr-time
High Resolution Time
Stars: ✭ 43 (+168.75%)
Mutual labels:  specification
gnuplot-examples
GNUPlot Examples
Stars: ✭ 50 (+212.5%)
Mutual labels:  examples
data-interoperability-panel
Repository for the Solid Data Interoperability Panel
Stars: ✭ 46 (+187.5%)
Mutual labels:  specification
Unity3D-JobsSystemAndBurstSamples
Examples of using the Job System in Unity 2018
Stars: ✭ 46 (+187.5%)
Mutual labels:  examples
form examples
TYPO3 extension. Ships several examples for the TYPO3 Form Framework, e.g. an upload form or a custom email template with personalized salutation. Includes translation examples (both global and specific).
Stars: ✭ 30 (+87.5%)
Mutual labels:  examples
examples
Example code for the Quarkus for Spring Developers eBook
Stars: ✭ 22 (+37.5%)
Mutual labels:  examples
View All Similar Projects ➔

Crypto-API-Rules

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

How to write new rules:

  1. Install Eclipse CogniCrypt
  2. If you want to create a new ruleset (other than JCA, BC or Tink) copy one of the folders and adjust artifactId, groupId and version in the pom.xml
  3. Import respective project into Eclipse
  4. Write a new CrySL rule, file with extension .crysl.
  5. After saving the rule, a file with .crystlbin is generated within the target/classes folder
  6. Run mvn install from the command line from within the project folder. The latter command packages the .cryptslbin files within target/classes and installs the artifact to the local repository.
  7. Reference the installed artifact within CryptoAnalysis / or the CogniCrypt Plugin. See respective pom.xml.

To deploy a new version of the rule set to our Nexus Server run mvn deploy (needs permissions).

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].