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

• GaloisInc / ocelot
  Oblivious transfer library for rust
  ☆11Updated 5 years ago
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆243Updated last year
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 4 years ago
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆30Updated 9 months ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆80Updated 2 years ago
• denismerigoux / rox-star
  Rust to F* toolchain
  ☆42Updated 6 years ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆25Updated last year
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• sdiehl / pairing
  Optimised bilinear pairings over elliptic curves
  ☆56Updated last year
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆22Updated 5 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆80Updated this week
• tezedge / tezedge-specification
  TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
  ☆21Updated 3 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated last week
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆51Updated 3 weeks ago
• squirrel-prover / squirrel-prover
  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
  ☆53Updated 3 weeks ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆69Updated 5 years ago
• Election-Tech-Initiative / electionguard-verifier
  The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated by the ElectionGuard…
  ☆43Updated 3 years ago
• viperproject / prusti-assistant
  VS Code extension to verify Rust programs with the Prusti verifier.
  ☆24Updated 3 weeks ago
• snipsco / rust-paillier
  A pure-Rust implementation of the Paillier encryption scheme
  ☆82Updated 7 years ago
• zkcrypto / curve25519-dalek-ng
  A pure-Rust implementation of group operations on Ristretto and Curve25519
  ☆28Updated 10 months ago
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆22Updated 4 months ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆63Updated 2 years ago
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆55Updated last year
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆131Updated this week
• SQISign / sqisign-ac20-obsolete
  SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
  ☆27Updated 2 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• cryspen / hpke-rs
  Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)
  ☆35Updated this week
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆55Updated 3 years ago