Inria-Prosecco / libsignal-protocol-wasm-fstarLinks
Fork of https://github.com/signalapp/libsignal-protocol-javascript : see https://signalstar.gforge.inria.fr/
☆33Updated 6 years ago
Alternatives and similar repositories for libsignal-protocol-wasm-fstar
Users that are interested in libsignal-protocol-wasm-fstar are comparing it to the libraries listed below
Sorting:
- Please see https://github.com/hacspec/hax☆245Updated last year
- A Formal Semantics of WebAssembly in K☆83Updated 2 weeks ago
- A library for deadlock-free multiparty session-typed communication in Rust.☆31Updated last year
- SFI verifier of Wasm binaries☆83Updated 2 years ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆23Updated 5 years ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- Constant-Time WebAssembly☆24Updated 7 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆47Updated 5 years ago
- Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"☆62Updated 5 months ago
- ☆192Updated this week
- Rust to F* toolchain☆43Updated 6 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆63Updated this week
- Language for high-assurance and high-speed cryptography☆318Updated this week
- Verification working group☆104Updated 6 years ago
- Experimental minisat SAT solver reimplementation in Rust☆72Updated 6 years ago
- BLST-Verification☆23Updated 10 months ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Updated 2 weeks ago
- Optimized implementation of the Picnic signature scheme☆82Updated 3 years ago
- An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.☆36Updated 5 years ago
- A pure-Rust implementation of the Paillier encryption scheme☆81Updated 7 years ago
- The formally verified crypto library for Rust☆188Updated this week
- Optimised bilinear pairings over elliptic curves☆56Updated last year
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆43Updated 2 weeks ago
- The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated by the ElectionGuard…☆43Updated 3 years ago
- WASI Cryptography API Proposal☆172Updated 7 months ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Rust bindings for HACL & Evercrypt☆30Updated 7 months ago
- Flexible and Constant Time Programming Language☆202Updated 3 years ago
- A polymorphic interface for elliptic curve operations☆43Updated 2 years ago
- A library for deadlock-free session-typed communication in Rust.☆47Updated 4 years ago