jasmin-lang / jasmin
Language for high-assurance and high-speed cryptography
☆285Updated this week
Alternatives and similar repositories for jasmin:
Users that are interested in jasmin are comparing it to the libraries listed below
- EasyCrypt: Computer-Aided Cryptographic Proofs☆341Updated this week
- Crypto library☆56Updated 2 weeks ago
- ☆150Updated this week
- A Rust verification tool☆235Updated this week
- Verified Assembly Language for Everest☆281Updated last year
- Please see https://github.com/hacspec/hax☆243Updated last year
- Experiments with Universal Composability in EasyCrypt☆33Updated this week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆38Updated 3 months ago
- A foundational framework for modular cryptographic proofs in Coq☆63Updated last month
- Λ ⚬ λ: Functional Lattice Cryptography☆230Updated 3 years ago
- RISC-V Specification in Coq☆111Updated last month
- Flexible and Constant Time Programming Language☆199Updated 3 years ago
- ☆46Updated last week
- A work-in-progress language and compiler for verified low-level programming☆303Updated last week
- A verification toolchain for Rust programs☆248Updated this week
- A central repository for specifications of cryptographic algorithms in Cryptol☆41Updated last week
- Automated generation of provably secure, zero-copy parsers from format specifications☆265Updated this week
- Examples for EasyCrypt Lectures☆24Updated last month
- Fast constant-time AES implementations on 32-bit architectures☆64Updated 5 months ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆50Updated 11 months ago
- The formally verified crypto library for Rust☆110Updated this week
- A framework for smart contract verification in Coq☆118Updated this week
- Cryptographic Primitive Code Generation by Fiat☆743Updated this week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆426Updated this week
- Formal Analysis of the PQXDH Protocol☆25Updated 9 months ago
- High-assurance, high-performance C90 implementation of ML-KEM☆47Updated this week
- Exploration of NIST post-quantum signatures on-ramp candidates☆29Updated last month
- ☆30Updated 11 months ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago