jasmin-lang / jasminLinks
Language for high-assurance and high-speed cryptography
☆306Updated this week
Alternatives and similar repositories for jasmin
Users that are interested in jasmin are comparing it to the libraries listed below
Sorting:
- EasyCrypt: Computer-Aided Cryptographic Proofs☆360Updated this week
- Crypto library☆62Updated last month
- ☆177Updated this week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆56Updated last month
- A foundational framework for modular cryptographic proofs in Coq☆66Updated 2 weeks ago
- Please see https://github.com/hacspec/hax☆244Updated last year
- Verified Assembly Language for Everest☆294Updated last year
- Automated generation of provably secure, zero-copy parsers from format specifications☆285Updated this week
- ☆50Updated 2 weeks ago
- Cryptographic protocol analysis for real-world protocols.☆55Updated 11 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
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆52Updated 2 months ago
- ☆15Updated this week
- Specifications of cryptographic algorithms in Cryptol☆41Updated last week
- Flexible and Constant Time Programming Language☆201Updated 3 years ago
- A Rust verification tool☆280Updated last week
- RISC-V Specification in Coq☆116Updated last month
- A work-in-progress language and compiler for verified low-level programming☆311Updated last week
- Assembly super-optimization via constraint solving☆216Updated this week
- Cryptographic Primitive Code Generation by Fiat☆770Updated this week
- Experiments with Universal Composability in EasyCrypt☆38Updated this week
- Main source code repository of the Tamarin prover for security protocol verification.☆469Updated this week
- ☆33Updated last year
- Research prototype tool for modular formal verification of C, Rust and Java programs☆423Updated last week
- ☆20Updated last week
- A framework for smart contract verification in Coq☆122Updated last week
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- Compositional Verification of Security Protocols☆19Updated 2 weeks ago
- Examples for EasyCrypt Lectures☆24Updated last month
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆475Updated last week