symbolicsoft / verifpal
Cryptographic protocol analysis for real-world protocols.
☆38Updated last week
Related projects: ⓘ
- Formal Analysis of the PQXDH Protocol☆22Updated 3 months ago
- Language for high-assurance and high-speed cryptography☆250Updated this week
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆18Updated 3 months ago
- Crypto library☆50Updated last month
- Please see https://github.com/hacspec/hax☆243Updated 7 months ago
- Experiments with Universal Composability in EasyCrypt☆30Updated this week
- A Rust verification tool☆176Updated this week
- A polymorphic interface for elliptic curve operations☆41Updated last year
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆50Updated 2 weeks ago
- Deployments of fancy cryptography☆113Updated last month
- A basic implementation of Yao's Garbled Circuits☆30Updated 2 years ago
- The Cryspen HACL Distribution☆14Updated this week
- Oblivious transfer library for rust☆11Updated 4 years ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆309Updated this week
- Compositional Verification of Security Protocols☆11Updated last week
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆26Updated last year
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆52Updated last year
- The formally verified crypto library for Rust☆78Updated this week
- Arithmetic circuits for zero knowledge proof systems☆82Updated 5 months ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆59Updated last year
- A foundational framework for modular cryptographic proofs in Coq☆57Updated 2 weeks ago
- ☆113Updated this week
- Composable proof transcripts for public-coin arguments of knowledge☆121Updated last year
- Rust library for cryptographic research☆125Updated 3 months ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆23Updated last year
- ☆13Updated last week
- Optimised bilinear pairings over elliptic curves☆55Updated 7 months ago
- A formal verification of Linear PCP SNARKs.☆47Updated 2 months ago
- Examples for EasyCrypt Lectures☆22Updated 9 months ago
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆33Updated this week