lavaleri

Pinned Repositories

amazon-corretto-crypto-provider
The Amazon Corretto Crypto Provider is a collection of high-performance cryptographic implementations exposed via standard JCA/JCE interfaces.
Language:Java0 0 00
aws-codebuild-run-build
Run a AWS CodeBuild project as a step in a GitHub Actions workflow job.
Language:JavaScript0 0 00
aws-crypto-tools-test-vector-framework
Contains rules explaining how to use test vectors for the AWS Encryption SDK
Language:Python00
aws-dynamodb-encryption-java
Amazon DynamoDB Encryption Client for Java
Language:Java0 0 00
aws-dynamodb-encryption-python
Amazon DynamoDB Encryption Client for Python
Language:Python0 0 00
aws-encryption-sdk-cli
CLI wrapper around aws-encryption-sdk-python
Language:Python0 0 00
aws-encryption-sdk-java
AWS Encryption SDK
Language:Java0 0 00
aws-encryption-sdk-javascript
AWS Encryption SDK for Javascript and Node.js
Language:TypeScript0 0 00
aws-encryption-sdk-python
AWS Encryption SDK
Language:Python0 0 00
aws-encryption-sdk-specification
AWS Encryption SDK Specification
0 0 00

lavaleri's Repositories

lavaleri/amazon-corretto-crypto-provider
The Amazon Corretto Crypto Provider is a collection of high-performance cryptographic implementations exposed via standard JCA/JCE interfaces.
Language:Java0 0 00
lavaleri/aws-codebuild-run-build
Run a AWS CodeBuild project as a step in a GitHub Actions workflow job.
Language:JavaScript0 0 00
lavaleri/aws-crypto-tools-test-vector-framework
Contains rules explaining how to use test vectors for the AWS Encryption SDK
Language:Python00
lavaleri/aws-dynamodb-encryption-java
Amazon DynamoDB Encryption Client for Java
Language:Java0 0 00
lavaleri/aws-dynamodb-encryption-python
Amazon DynamoDB Encryption Client for Python
Language:Python0 0 00
lavaleri/aws-encryption-sdk-cli
CLI wrapper around aws-encryption-sdk-python
Language:Python0 0 00
lavaleri/aws-encryption-sdk-java
AWS Encryption SDK
Language:Java0 0 00
lavaleri/aws-encryption-sdk-javascript
AWS Encryption SDK for Javascript and Node.js
Language:TypeScript0 0 00
lavaleri/aws-encryption-sdk-python
AWS Encryption SDK
Language:Python0 0 00
lavaleri/aws-encryption-sdk-specification
AWS Encryption SDK Specification
0 0 00
lavaleri/aws-sdk-js-crypto-helpers
AWS Cryptographic helpers for Javascript and Node.js
Language:TypeScript0 0
lavaleri/busy-engineers-document-bucket
A workshop to introduce client-side encryption with the AWS Encryption SDK and AWS KMS.
lavaleri/dafny
Dafny is a verification-aware programming language
Language:C#0 0