symbolicsoft / verifpal
Cryptographic protocol analysis for real-world protocols.
☆47Updated 6 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 9 months ago
- Crypto library☆57Updated 3 weeks ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 9 months ago
- Language for high-assurance and high-speed cryptography☆288Updated this week
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Deployments of fancy cryptography☆135Updated 2 months ago
- ☆14Updated 2 weeks ago
- Community Cryptography Test Vectors☆73Updated 2 months ago
- Experiments with Universal Composability in EasyCrypt☆33Updated this week
- A basic implementation of Yao's Garbled Circuits☆30Updated 2 years ago
- The Cryspen HACL Distribution☆16Updated this week
- The formally verified crypto library for Rust☆113Updated this week
- Compositional Verification of Security Protocols☆11Updated this week
- ☆30Updated 11 months ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated last year
- Please see https://github.com/hacspec/hax☆243Updated last year
- Exploration of NIST post-quantum signatures on-ramp candidates☆29Updated last month
- MAYO C implementation☆16Updated 3 weeks ago
- FN-DSA (Falcon) signature scheme☆39Updated 2 months ago
- Examples for EasyCrypt Lectures☆24Updated last month
- A formal verification of Linear PCP SNARKs.☆52Updated 8 months ago
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆52Updated 3 weeks ago
- BLST-Verification☆22Updated 2 months ago
- Formalized Cryptography Proofs in Lean 4☆25Updated this week
- Rust library for cryptographic research☆140Updated 3 months ago
- ☆12Updated this week
- ☆20Updated 2 months ago
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆33Updated this week
- OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…☆78Updated 3 years ago