awslabs / s2n-bignumLinks
☆196Updated 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☆324Updated this week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆60Updated 2 months ago
- A Rust verification tool☆356Updated last week
- Crypto library☆67Updated last month
- The formally verified crypto library for Rust☆190Updated this week
- Automated generation of provably secure, zero-copy parsers from format specifications☆300Updated 3 weeks ago
- Please see https://github.com/hacspec/hax☆245Updated last year
- EasyCrypt: Computer-Aided Cryptographic Proofs☆379Updated this week
- Assembly super-optimization via constraint solving☆232Updated this week
- Verified Assembly Language for Everest☆301Updated last year
- A foundational framework for modular cryptographic proofs in Coq☆72Updated 3 weeks ago
- Flexible and Constant Time Programming Language☆204Updated 3 years ago
- A verification toolchain for Rust programs☆509Updated this week
- Interface with the rustc compiler for the purpose of program verification☆264Updated this week
- Compositional Verification of Security Protocols☆30Updated 3 weeks ago
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆280Updated last week
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆58Updated 3 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…☆102Updated last month
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆54Updated 3 months ago
- Armv8 Native Code Symbolic Simulator in Lean☆95Updated last month
- A verifier for automated and interactive proofs about transition systems.☆172Updated this week
- ☆33Updated 3 months ago
- The Cryspen HACL Distribution☆20Updated 8 months ago
- Specifications of cryptographic algorithms in Cryptol☆44Updated 2 weeks ago
- Cryptographic protocol analysis for real-world protocols.☆65Updated 3 weeks ago
- ☆54Updated this week
- Cryptographic Primitive Code Generation by Fiat☆797Updated this week
- Cerberus C semantics☆79Updated last week
- ☆16Updated this week
- A framework for smart contract verification in Coq☆124Updated 3 weeks ago