Beneficial AI Foundation
Popular repositories Loading
-
-
-
formal-verification-skills
formal-verification-skills PublicFormal verification of Rust code with AI-assisted specification and proof.
-
-
curve25519-dalek-lean-verify
curve25519-dalek-lean-verify PublicVerifying curve25519-dalek using Lean
Repositories
- libsignal-verify Public Forked from signalapp/libsignal
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
- formal-verification-skills Public
Formal verification of Rust code with AI-assisted specification and proof.
- KeyedVerificationAnonymousCredential-model Public
Formalization of keyed-verification anonymous credential (KVAC) framework of Orrù, Revisiting Keyed-Verification Anonymous Credentials (IACR ePrint 2024/1552)
- SparsePostQuantumRatchet-verify Public Forked from signalapp/SparsePostQuantumRatchet
Project to formally verify SPQR using Lean
- curve25519-dalek-fork Public Forked from dalek-cryptography/curve25519-dalek
Staging verification work in preparation for upstreaming
- probe-aeneas Public
- probe Public
- probe-rust Public
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Most used topics
Loading…