Justin W Smith's Projects
The Amazon Corretto Crypto Provider is a collection of high-performance cryptographic implementations exposed via standard JCA/JCE interfaces.
Aws Crypto Abstraction Layer: Cross-Platform, C99 wrapper for cryptography primitives.
AWS Encryption SDK
AWS KMS External Keystore (XKS) Proxy reference implementation
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
aws-lc-rs is a cryptographic library using AWS-LC for its cryptographic operations. The library strives to be API-compatible with the popular Rust library named ring. It uses AWS Libcrypto (AWS-LC) for the underlying cryptographic implementations.
This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.
Mirror of BoringSSL
The Rust package manager
List and diff the public API of Rust library crates between releases and commits. Detect breaking API changes and semver violations via CI or a CLI.
Rust library for build scripts to compile C/C++ code into a Rust library
Rust build dependency for running cmake
Statistics-driven benchmarking library for Rust
“Zero setup” cross compilation and “cross testing” of Rust crates
Rust program to find pseudoprimes that pass fixed Miller Rabin bases
macOS cross compiler toolchains
Config files for my GitHub profile.
A launch point for your personal nvim configuration
Portable OpenSSH
TLS/SSL and crypto library
Source code and logic to build OpenSSL from source
Safe, fast, small crypto using Rust
The Ruby Programming Language
AWS-LC bindings for the Rust programming language.
Automatically generates Rust FFI bindings to C (and some C++) libraries.
OpenSSL bindings for Rust
A modern TLS library in Rust
The Rust toolchain installer