acioc
Software developer. Formerly at Amazon (AWS, Prime Video, and Twitch) | Caltech 2015
Seattle, WA
Pinned Repositories
aws-dynamodb-encryption-java
Amazon DynamoDB Encryption Client for Java
aws-encryption-sdk-docs
Explains how to use the AWS Encryption SDK, a library that enables secure client-side encryption. The Encryption SDK uses cryptography best practices to protect your data and the encryption keys used to protect that data.
aws-encryption-sdk-java
AWS Encryption SDK
aws-encryption-sdk-specification
AWS Encryption SDK Specification
Caltech-CS-122
dafny
Dafny is a verification-aware programming language
dafny.msbuild
MSBuild tasks for use in projects containing Dafny source code
aws-dynamodb-encryption-java
Amazon DynamoDB Encryption Client for Java
aws-encryption-sdk-java
AWS Encryption SDK
dafny
Dafny is a verification-aware programming language
acioc's Repositories
acioc/Caltech-CS-122
acioc/aws-dynamodb-encryption-java
Amazon DynamoDB Encryption Client for Java
acioc/aws-encryption-sdk-docs
Explains how to use the AWS Encryption SDK, a library that enables secure client-side encryption. The Encryption SDK uses cryptography best practices to protect your data and the encryption keys used to protect that data.
acioc/aws-encryption-sdk-java
AWS Encryption SDK
acioc/aws-encryption-sdk-specification
AWS Encryption SDK Specification
acioc/dafny
Dafny is a verification-aware programming language
acioc/dafny.msbuild
MSBuild tasks for use in projects containing Dafny source code