Popular repositories Loading

1. aws-lc-verification aws-lc-verification Public

   Forked from awslabs/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 …

   Coq

2. aws-lc aws-lc Public

   Forked from aws/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.

   C++

3. s2n-tls s2n-tls Public

   Forked from aws/s2n-tls

   An implementation of the TLS/SSL protocols

   C

4. saw-script saw-script Public

   Forked from GaloisInc/saw-script

   The SAW scripting language.

   Haskell

5. cryptol cryptol Public

   Forked from GaloisInc/cryptol

   Cryptol: The Language of Cryptography

   Haskell

6. LNSym-public LNSym-public Public

   Forked from leanprover/LNSym

   Armv8 Native Code Symbolic Simulator in Lean

   Lean