awslabs / s2n-bignumLinks
☆201Updated this week
Alternatives and similar repositories for s2n-bignum
Users that are interested in s2n-bignum are comparing it to the libraries listed below
Sorting:
- Language for high-assurance and high-speed cryptography☆327Updated this week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆61Updated 2 weeks ago
- A Rust verification tool☆365Updated last week
- Crypto library☆67Updated last month
- The formally verified crypto library for Rust☆199Updated this week
- Automated generation of provably secure, zero-copy parsers from format specifications☆303Updated this week
- Assembly super-optimization via constraint solving☆236Updated this week
- A foundational framework for modular cryptographic proofs in Coq☆73Updated last week
- Please see https://github.com/hacspec/hax☆245Updated last year
- EasyCrypt: Computer-Aided Cryptographic Proofs☆381Updated this week
- Analyze Rust crates without touching compiler internals☆281Updated this week
- A verifier for automated and interactive proofs about transition systems.☆180Updated 3 weeks ago
- Flexible and Constant Time Programming Language☆204Updated 3 years ago
- Compositional Verification of Security Protocols☆30Updated 3 weeks ago
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆45Updated this week
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆286Updated this week
- ☆54Updated last week
- A verification toolchain for Rust programs☆543Updated this week
- Armv8 Native Code Symbolic Simulator in Lean☆96Updated 2 months ago
- Specifications of cryptographic algorithms in Cryptol☆46Updated last month
- Cryptographic protocol analysis for real-world protocols.☆67Updated last month
- Lean models of Rust libraries☆25Updated last year
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆55Updated 3 months ago
- Verified Assembly Language for Everest☆302Updated last year
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆102Updated last week
- The Cryspen HACL Distribution☆20Updated 9 months ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆65Updated last year
- RISC-V Specification in Coq☆116Updated 3 weeks ago
- SampCert : Verified Differential Privacy☆88Updated 9 months ago
- Experiments with Universal Composability in EasyCrypt☆43Updated this week