pennyannn

Pinned 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++0 0 00
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:Coq0 0 00
cbmc-examples
Examples of code verification using CBMC
Language:C00
cryptol
Cryptol: The Language of Cryptography
Language:Haskell0 0 00
LNSym-public
Armv8 Native Code Symbolic Simulator in Lean
Language:Lean0 0 00
mlkem-native
High-assurance, high-performance ML-KEM implementation for mobile, pc, and server targets
Language:Assembly00
s2n-bignum
Language:OCaml00

pennyannn's Repositories

pennyannn/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++0 0 00
pennyannn/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:Coq0 0 00
pennyannn/cryptol
Cryptol: The Language of Cryptography
Language:Haskell0 0 00
pennyannn/LNSym-public
Armv8 Native Code Symbolic Simulator in Lean
Language:Lean0 0 00
pennyannn/s2n-tls
An implementation of the TLS/SSL protocols
Language:C0 0 00
pennyannn/saw-script
The SAW scripting language.
Language:Haskell0 0 00