awslabs / s2n-bignumLinks
☆177Updated 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☆306Updated this week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆56Updated last month
- A Rust verification tool☆280Updated last week
- Crypto library☆62Updated last month
- Please see https://github.com/hacspec/hax☆244Updated last year
- Automated generation of provably secure, zero-copy parsers from format specifications☆285Updated this week
- A foundational framework for modular cryptographic proofs in Coq☆66Updated 2 weeks ago
- The formally verified crypto library for Rust☆154Updated this week
- Assembly super-optimization via constraint solving☆216Updated this week
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆111Updated this week
- Flexible and Constant Time Programming Language☆201Updated 3 years ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆360Updated this week
- A verification toolchain for Rust programs☆358Updated this week
- Verified Assembly Language for Everest☆294Updated last year
- Specifications of cryptographic algorithms in Cryptol☆41Updated last week
- Interface with the rustc compiler for the purpose of program verification☆184Updated this week
- Armv8 Native Code Symbolic Simulator in Lean☆84Updated last week
- CN separation logic refinement type system for C☆28Updated last week
- ☆50Updated 2 weeks ago
- ☆14Updated 4 months ago
- ☆15Updated this week
- Cerberus C semantics☆66Updated this week
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆52Updated 2 months ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆95Updated 3 weeks ago
- The Cryspen HACL Distribution☆18Updated 4 months ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆54Updated 2 months ago
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆131Updated last month
- Compositional Verification of Security Protocols☆19Updated 2 weeks ago
- Cryptographic Primitive Code Generation by Fiat☆770Updated this week
- RISC-V Specification in Coq☆116Updated last month