symbolicsoft / verifpal
Cryptographic protocol analysis for real-world protocols.
☆48Updated 7 months ago
Alternatives and similar repositories for verifpal:
Users that are interested in verifpal are comparing it to the libraries listed below
- Formal Analysis of the PQXDH Protocol☆25Updated 10 months ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 10 months ago
- Crypto library☆58Updated last week
- Exploration of NIST post-quantum signatures on-ramp candidates☆31Updated 2 months ago
- The formally verified crypto library for Rust☆118Updated this week
- Compositional Verification of Security Protocols☆11Updated last week
- Experiments with Universal Composability in EasyCrypt☆33Updated this week
- Deployments of fancy cryptography☆137Updated 3 months ago
- The Cryspen HACL Distribution☆17Updated this week
- Please see https://github.com/hacspec/hax☆243Updated last year
- Community Cryptography Test Vectors☆75Updated 2 months ago
- A basic implementation of Yao's Garbled Circuits☆28Updated 3 years ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆52Updated last month
- OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…☆78Updated 3 years ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆345Updated this week
- ☆15Updated 3 weeks ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- ☆13Updated last week
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆50Updated last year
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆55Updated this week
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated last year
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆36Updated this week
- Reference repository on Lattice-based Cryptography☆24Updated 6 months ago
- ☆30Updated last year
- A Rust verification tool☆248Updated this week
- CryptoBib Database for Developers☆44Updated 2 weeks ago
- Formally Verified SNARKs in Lean☆61Updated this week
- Formalized Cryptography Proofs in Lean 4☆28Updated this week
- Language for high-assurance and high-speed cryptography☆290Updated this week
- ☆16Updated last month