Yan Peng's repositories
aws-lc
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.
Language:C++NOASSERTION000
aws-lc-verification
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.
Language:CoqApache-2.0000
cryptol
Cryptol: The Language of Cryptography
Language:HaskellBSD-3-Clause000
LNSym-public
Armv8 Native Code Symbolic Simulator in Lean
Language:LeanApache-2.0000
s2n-tls
An implementation of the TLS/SSL protocols
Language:CApache-2.0000
saw-script
The SAW scripting language.
Language:HaskellBSD-3-Clause000